Average Error: 34.5 → 34.5
Time: 13.6s
Precision: 64
\[\left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\]
↓
\[\left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\]
\left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)
↓
\left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)
double f(double a, double c) {
        double r10360 = c;
        double r10361 = cosh(r10360);
        double r10362 = a;
        double r10363 = log1p(r10362);
        double r10364 = fmod(r10361, r10363);
        return r10364;
}
↓
double f(double a, double c) {
        double r10365 = c;
        double r10366 = cosh(r10365);
        double r10367 = a;
        double r10368 = log1p(r10367);
        double r10369 = fmod(r10366, r10368);
        return r10369;
}

Error

Bits error versus a

Bits error versus c

Derivation

  1. Initial program 34.5

    \[\left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\]

  2. Final simplification34.5

    \[\leadsto \left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\]

Reproduce

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