Average Error: 60.3 → 59.4
Time: 1.2m
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)\]
↓
\[\sqrt{\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{\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)}\]
\cos^{-1} \left({\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)
↓
\sqrt{\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{\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)}
double f(double a) {
        double r1432456 = a;
        double r1432457 = cosh(r1432456);
        double r1432458 = r1432456 * r1432456;
        double r1432459 = fmod(r1432457, r1432458);
        double r1432460 = log1p(r1432456);
        double r1432461 = pow(r1432459, r1432460);
        double r1432462 = acos(r1432461);
        return r1432462;
}
↓
double f(double a) {
        double r1432463 = a;
        double r1432464 = cosh(r1432463);
        double r1432465 = r1432463 * r1432463;
        double r1432466 = fmod(r1432464, r1432465);
        double r1432467 = exp(r1432466);
        double r1432468 = log(r1432467);
        double r1432469 = log1p(r1432463);
        double r1432470 = pow(r1432468, r1432469);
        double r1432471 = acos(r1432470);
        double r1432472 = sqrt(r1432471);
        double r1432473 = r1432472 * r1432472;
        return r1432473;
}

Error

Bits error versus a

Derivation

  1. Initial program 60.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-exp59.4

    \[\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-sqrt59.4

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

  6. Final simplification59.4

    \[\leadsto \sqrt{\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{\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)}\]

Reproduce

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