Error

Derivation

1. Initial program 34.4

   \[\left(\left(\cosh c\right) \bmod \left(\log_* (1 + a)\right)\right)\]

2. Initial simplification34.4

   \[\leadsto \left(\left(\cosh c\right) \bmod \left(\log_* (1 + a)\right)\right)\]
3. Using strategy rm

4. Applied add-exp-log34.4

   \[\leadsto \color{blue}{e^{\log \left(\left(\cosh c\right) \bmod \left(\log_* (1 + a)\right)\right)}}\]
5. Using strategy rm

6. Applied add-cube-cbrt34.4

   \[\leadsto e^{\color{blue}{\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)}}}\]

7. Applied exp-prod34.4

   \[\leadsto \color{blue}{{\left(e^{\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)}^{\left(\sqrt[3]{\log \left(\left(\cosh c\right) \bmod \left(\log_* (1 + a)\right)\right)}\right)}}\]

8. Final simplification34.4

   \[\leadsto {\left(e^{\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)}^{\left(\sqrt[3]{\log \left(\left(\cosh c\right) \bmod \left(\log_* (1 + a)\right)\right)}\right)}\]

Reproduce

herbie shell --seed 2018360 +o rules:numerics
(FPCore (a c)
  :name "Random Jason Timeout Test 004"
  (fmod (cosh c) (log1p a)))

Details

Time bar (total: 4.7s)Debug log