Average Error: 61.2 → 60.3
Time: 28.7s
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)\]
↓
\[2 \cdot \log \left(\sqrt[3]{e^{\cos^{-1} \left({\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)}}\right) + \log \left(\sqrt[3]{e^{\cos^{-1} \left({\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)}}\right)\]
\cos^{-1} \left({\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)
↓
2 \cdot \log \left(\sqrt[3]{e^{\cos^{-1} \left({\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)}}\right) + \log \left(\sqrt[3]{e^{\cos^{-1} \left({\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)}}\right)
double f(double a) {
        double r2843 = a;
        double r2844 = cosh(r2843);
        double r2845 = r2843 * r2843;
        double r2846 = fmod(r2844, r2845);
        double r2847 = log1p(r2843);
        double r2848 = pow(r2846, r2847);
        double r2849 = acos(r2848);
        return r2849;
}
↓
double f(double a) {
        double r2850 = 2.0;
        double r2851 = a;
        double r2852 = cosh(r2851);
        double r2853 = r2851 * r2851;
        double r2854 = fmod(r2852, r2853);
        double r2855 = exp(r2854);
        double r2856 = log(r2855);
        double r2857 = log1p(r2851);
        double r2858 = pow(r2856, r2857);
        double r2859 = acos(r2858);
        double r2860 = exp(r2859);
        double r2861 = cbrt(r2860);
        double r2862 = log(r2861);
        double r2863 = r2850 * r2862;
        double r2864 = r2863 + r2862;
        return r2864;
}

Error

Bits error versus a

Derivation

  1. Initial program 61.2

    \[\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-log-exp60.3

    \[\leadsto \color{blue}{\log \left(e^{\cos^{-1} \left({\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)}\right)}\]
  6. Using strategy rm

  7. Applied add-cube-cbrt60.3

    \[\leadsto \log \color{blue}{\left(\left(\sqrt[3]{e^{\cos^{-1} \left({\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)}} \cdot \sqrt[3]{e^{\cos^{-1} \left({\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)}}\right) \cdot \sqrt[3]{e^{\cos^{-1} \left({\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)}}\right)}\]

  8. Applied log-prod60.3

    \[\leadsto \color{blue}{\log \left(\sqrt[3]{e^{\cos^{-1} \left({\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)}} \cdot \sqrt[3]{e^{\cos^{-1} \left({\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)}}\right) + \log \left(\sqrt[3]{e^{\cos^{-1} \left({\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)}}\right)}\]

  9. Simplified60.3

    \[\leadsto \color{blue}{2 \cdot \log \left(\sqrt[3]{e^{\cos^{-1} \left({\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)}}\right)} + \log \left(\sqrt[3]{e^{\cos^{-1} \left({\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)}}\right)\]

  10. Final simplification60.3

    \[\leadsto 2 \cdot \log \left(\sqrt[3]{e^{\cos^{-1} \left({\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)}}\right) + \log \left(\sqrt[3]{e^{\cos^{-1} \left({\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)}}\right)\]

Reproduce

herbie shell --seed 2020064 +o rules:numerics
(FPCore (a)
  :name "Random Jason Timeout Test 012"
  :precision binary64
  (acos (pow (fmod (cosh a) (* a a)) (log1p a))))