Average Error: 61.3 → 60.4
Time: 1.1m
Precision: 64
\[\cos^{-1} \left({\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)\]
↓
\[\cos^{-1} \left({\left(\left(\log \left(\sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}\right) + \log \left(\sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}\right)\right) + \left(\log \left(\sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}\right) + \log \left(\sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}\right)\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)\]
\cos^{-1} \left({\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)
↓
\cos^{-1} \left({\left(\left(\log \left(\sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}\right) + \log \left(\sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}\right)\right) + \left(\log \left(\sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}\right) + \log \left(\sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}\right)\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)
double f(double a) {
        double r17901 = a;
        double r17902 = cosh(r17901);
        double r17903 = r17901 * r17901;
        double r17904 = fmod(r17902, r17903);
        double r17905 = log1p(r17901);
        double r17906 = pow(r17904, r17905);
        double r17907 = acos(r17906);
        return r17907;
}
↓
double f(double a) {
        double r17908 = a;
        double r17909 = cosh(r17908);
        double r17910 = r17908 * r17908;
        double r17911 = fmod(r17909, r17910);
        double r17912 = exp(r17911);
        double r17913 = sqrt(r17912);
        double r17914 = sqrt(r17913);
        double r17915 = log(r17914);
        double r17916 = r17915 + r17915;
        double r17917 = r17916 + r17916;
        double r17918 = log1p(r17908);
        double r17919 = pow(r17917, r17918);
        double r17920 = acos(r17919);
        return r17920;
}

Error

Bits error versus a

Derivation

  1. Initial program 61.3

    \[\cos^{-1} \left({\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)\]
  2. Using strategy rm

  3. Applied add-log-exp60.3

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

  5. Applied add-sqr-sqrt60.4

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

  6. Applied log-prod60.4

    \[\leadsto \cos^{-1} \left({\color{blue}{\left(\log \left(\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}\right) + \log \left(\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}\right)\right)}}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)\]
  7. Using strategy rm

  8. Applied add-sqr-sqrt60.4

    \[\leadsto \cos^{-1} \left({\left(\log \left(\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}\right) + \log \left(\sqrt{\color{blue}{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}} \cdot \sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}}\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)\]

  9. Applied sqrt-prod60.4

    \[\leadsto \cos^{-1} \left({\left(\log \left(\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}\right) + \log \color{blue}{\left(\sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}} \cdot \sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}\right)}\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)\]

  10. Applied log-prod60.4

    \[\leadsto \cos^{-1} \left({\left(\log \left(\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}\right) + \color{blue}{\left(\log \left(\sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}\right) + \log \left(\sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}\right)\right)}\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)\]
  11. Using strategy rm

  12. Applied add-sqr-sqrt60.4

    \[\leadsto \cos^{-1} \left({\left(\log \left(\sqrt{\color{blue}{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}} \cdot \sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}}\right) + \left(\log \left(\sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}\right) + \log \left(\sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}\right)\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)\]

  13. Applied sqrt-prod60.4

    \[\leadsto \cos^{-1} \left({\left(\log \color{blue}{\left(\sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}} \cdot \sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}\right)} + \left(\log \left(\sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}\right) + \log \left(\sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}\right)\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)\]

  14. Applied log-prod60.4

    \[\leadsto \cos^{-1} \left({\left(\color{blue}{\left(\log \left(\sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}\right) + \log \left(\sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}\right)\right)} + \left(\log \left(\sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}\right) + \log \left(\sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}\right)\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)\]

  15. Final simplification60.4

    \[\leadsto \cos^{-1} \left({\left(\left(\log \left(\sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}\right) + \log \left(\sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}\right)\right) + \left(\log \left(\sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}\right) + \log \left(\sqrt{\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}}\right)\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)\]

Reproduce

herbie shell --seed 2019199 
(FPCore (a)
  :name "Random Jason Timeout Test 012"
  (acos (pow (fmod (cosh a) (* a a)) (log1p a))))