Random Jason Timeout Test 004

Average Error: 33.9 → 33.9

Time: 28.0s

Precision: 64

• could not determine a ground truth for program body

  1. a = 1.9275448083637878e-225
  2. c = -4.632749300641585e+255

Math

\[\left(\left(\cosh c\right) \bmod \left(\log_* (1 + a)\right)\right)\]

↓

\[\left(\left(\cosh c\right) \bmod \left(\log_* (1 + a)\right)\right)\]

C

double f(double a, double c) {
        double r104597 = c;
        double r104598 = cosh(r104597);
        double r104599 = a;
        double r104600 = log1p(r104599);
        double r104601 = fmod(r104598, r104600);
        return r104601;
}

↓

double f(double a, double c) {
        double r104602 = c;
        double r104603 = cosh(r104602);
        double r104604 = a;
        double r104605 = log1p(r104604);
        double r104606 = fmod(r104603, r104605);
        return r104606;
}

Error

Bits error versus a

Bits error versus c

Derivation

1. Initial program 33.9

   \[\left(\left(\cosh c\right) \bmod \left(\log_* (1 + a)\right)\right)\]

2. Final simplification 33.9

   \[\leadsto \left(\left(\cosh c\right) \bmod \left(\log_* (1 + a)\right)\right)\]

Reproduce

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