Average Error: 34.4 → 34.4
Time: 14.6s
Precision: 64
\[\left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\]
↓
\[{\left(e^{\sqrt[3]{\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right) \cdot \log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)}}\right)}^{\left(\sqrt[3]{{\left(\sqrt[3]{\sqrt[3]{{\left(\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\right)}^{3}}}\right)}^{3}}\right)}\]
\left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)
↓
{\left(e^{\sqrt[3]{\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right) \cdot \log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)}}\right)}^{\left(\sqrt[3]{{\left(\sqrt[3]{\sqrt[3]{{\left(\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\right)}^{3}}}\right)}^{3}}\right)}
double f(double a, double c) {
        double r8946 = c;
        double r8947 = cosh(r8946);
        double r8948 = a;
        double r8949 = log1p(r8948);
        double r8950 = fmod(r8947, r8949);
        return r8950;
}
↓
double f(double a, double c) {
        double r8951 = c;
        double r8952 = cosh(r8951);
        double r8953 = a;
        double r8954 = log1p(r8953);
        double r8955 = fmod(r8952, r8954);
        double r8956 = log(r8955);
        double r8957 = r8956 * r8956;
        double r8958 = cbrt(r8957);
        double r8959 = exp(r8958);
        double r8960 = 3.0;
        double r8961 = pow(r8956, r8960);
        double r8962 = cbrt(r8961);
        double r8963 = cbrt(r8962);
        double r8964 = pow(r8963, r8960);
        double r8965 = cbrt(r8964);
        double r8966 = pow(r8959, r8965);
        return r8966;
}

Error

Bits error versus a

Bits error versus c

Derivation

  1. Initial program 34.4

    \[\left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\]
  2. Using strategy rm

  3. Applied add-exp-log34.4

    \[\leadsto \color{blue}{e^{\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)}}\]
  4. Using strategy rm

  5. Applied add-cbrt-cube34.4

    \[\leadsto e^{\color{blue}{\sqrt[3]{\left(\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right) \cdot \log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\right) \cdot \log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)}}}\]

  6. Simplified34.4

    \[\leadsto e^{\sqrt[3]{\color{blue}{{\left(\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\right)}^{3}}}}\]
  7. Using strategy rm

  8. Applied add-cbrt-cube34.4

    \[\leadsto e^{\sqrt[3]{{\color{blue}{\left(\sqrt[3]{\left(\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right) \cdot \log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\right) \cdot \log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)}\right)}}^{3}}}\]

  9. Simplified34.4

    \[\leadsto e^{\sqrt[3]{{\left(\sqrt[3]{\color{blue}{{\left(\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\right)}^{3}}}\right)}^{3}}}\]
  10. Using strategy rm

  11. Applied add-cube-cbrt34.4

    \[\leadsto e^{\sqrt[3]{{\left(\sqrt[3]{\color{blue}{\left(\sqrt[3]{{\left(\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\right)}^{3}} \cdot \sqrt[3]{{\left(\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\right)}^{3}}\right) \cdot \sqrt[3]{{\left(\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\right)}^{3}}}}\right)}^{3}}}\]

  12. Applied cbrt-prod34.4

    \[\leadsto e^{\sqrt[3]{{\color{blue}{\left(\sqrt[3]{\sqrt[3]{{\left(\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\right)}^{3}} \cdot \sqrt[3]{{\left(\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\right)}^{3}}} \cdot \sqrt[3]{\sqrt[3]{{\left(\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\right)}^{3}}}\right)}}^{3}}}\]

  13. Applied unpow-prod-down34.4

    \[\leadsto e^{\sqrt[3]{\color{blue}{{\left(\sqrt[3]{\sqrt[3]{{\left(\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\right)}^{3}} \cdot \sqrt[3]{{\left(\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\right)}^{3}}}\right)}^{3} \cdot {\left(\sqrt[3]{\sqrt[3]{{\left(\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\right)}^{3}}}\right)}^{3}}}}\]

  14. Applied cbrt-prod34.4

    \[\leadsto e^{\color{blue}{\sqrt[3]{{\left(\sqrt[3]{\sqrt[3]{{\left(\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\right)}^{3}} \cdot \sqrt[3]{{\left(\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\right)}^{3}}}\right)}^{3}} \cdot \sqrt[3]{{\left(\sqrt[3]{\sqrt[3]{{\left(\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\right)}^{3}}}\right)}^{3}}}}\]

  15. Applied exp-prod34.4

    \[\leadsto \color{blue}{{\left(e^{\sqrt[3]{{\left(\sqrt[3]{\sqrt[3]{{\left(\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\right)}^{3}} \cdot \sqrt[3]{{\left(\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\right)}^{3}}}\right)}^{3}}}\right)}^{\left(\sqrt[3]{{\left(\sqrt[3]{\sqrt[3]{{\left(\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\right)}^{3}}}\right)}^{3}}\right)}}\]

  16. Simplified34.4

    \[\leadsto {\color{blue}{\left(e^{\sqrt[3]{\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right) \cdot \log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)}}\right)}}^{\left(\sqrt[3]{{\left(\sqrt[3]{\sqrt[3]{{\left(\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\right)}^{3}}}\right)}^{3}}\right)}\]

  17. Final simplification34.4

    \[\leadsto {\left(e^{\sqrt[3]{\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right) \cdot \log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)}}\right)}^{\left(\sqrt[3]{{\left(\sqrt[3]{\sqrt[3]{{\left(\log \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\right)}^{3}}}\right)}^{3}}\right)}\]

Reproduce

herbie shell --seed 2020062 
(FPCore (a c)
  :name "Random Jason Timeout Test 004"
  :precision binary64
  (fmod (cosh c) (log1p a)))