Average Error: 0.0 → 0.0
Time: 9.4s
Precision: 64
\[\left(\left(\sinh c\right) \bmod \left(c - {\left( -2.98073076018121927 \cdot 10^{165} \right)}^{2}\right)\right)\]
↓
\[\left(\left(\sinh c\right) \bmod \left(c - {\left( -2.98073076018121927 \cdot 10^{165} \right)}^{2}\right)\right)\]
\left(\left(\sinh c\right) \bmod \left(c - {\left( -2.98073076018121927 \cdot 10^{165} \right)}^{2}\right)\right)
↓
\left(\left(\sinh c\right) \bmod \left(c - {\left( -2.98073076018121927 \cdot 10^{165} \right)}^{2}\right)\right)
double f(double c) {
        double r8285 = c;
        double r8286 = sinh(r8285);
        double r8287 = -2.9807307601812193e+165;
        double r8288 = 2.0;
        double r8289 = pow(r8287, r8288);
        double r8290 = r8285 - r8289;
        double r8291 = fmod(r8286, r8290);
        return r8291;
}
↓
double f(double c) {
        double r8292 = c;
        double r8293 = sinh(r8292);
        double r8294 = -2.9807307601812193e+165;
        double r8295 = 2.0;
        double r8296 = pow(r8294, r8295);
        double r8297 = r8292 - r8296;
        double r8298 = fmod(r8293, r8297);
        return r8298;
}

Error

Bits error versus c

Derivation

  1. Initial program 0.0

    \[\left(\left(\sinh c\right) \bmod \left(c - {\left( -2.98073076018121927 \cdot 10^{165} \right)}^{2}\right)\right)\]

  2. Final simplification0.0

    \[\leadsto \left(\left(\sinh c\right) \bmod \left(c - {\left( -2.98073076018121927 \cdot 10^{165} \right)}^{2}\right)\right)\]

Reproduce

herbie shell --seed 2019195 
(FPCore (c)
  :name "Random Jason Timeout Test 014"
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))