Average Error: 61.2 → 60.2
Time: 51.5s
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(\sqrt[3]{{\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)}} \cdot \sqrt[3]{{\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]{{\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)\]
\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(\sqrt[3]{{\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)}} \cdot \sqrt[3]{{\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]{{\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)
double f(double a) {
        double r12975 = a;
        double r12976 = cosh(r12975);
        double r12977 = r12975 * r12975;
        double r12978 = fmod(r12976, r12977);
        double r12979 = log1p(r12975);
        double r12980 = pow(r12978, r12979);
        double r12981 = acos(r12980);
        return r12981;
}
↓
double f(double a) {
        double r12982 = a;
        double r12983 = cosh(r12982);
        double r12984 = r12982 * r12982;
        double r12985 = fmod(r12983, r12984);
        double r12986 = exp(r12985);
        double r12987 = log(r12986);
        double r12988 = log1p(r12982);
        double r12989 = pow(r12987, r12988);
        double r12990 = cbrt(r12989);
        double r12991 = r12990 * r12990;
        double r12992 = r12991 * r12990;
        double r12993 = acos(r12992);
        return r12993;
}

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-cube-cbrt60.2

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

  6. Final simplification60.2

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

Reproduce

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