Average Error: 0.0 → 0.0
Time: 12.6s
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 r18221 = c;
        double r18222 = sinh(r18221);
        double r18223 = -2.9807307601812193e+165;
        double r18224 = 2.0;
        double r18225 = pow(r18223, r18224);
        double r18226 = r18221 - r18225;
        double r18227 = fmod(r18222, r18226);
        return r18227;
}
↓
double f(double c) {
        double r18228 = c;
        double r18229 = sinh(r18228);
        double r18230 = -2.9807307601812193e+165;
        double r18231 = 2.0;
        double r18232 = pow(r18230, r18231);
        double r18233 = r18228 - r18232;
        double r18234 = fmod(r18229, r18233);
        return r18234;
}

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 2020045 +o rules:numerics
(FPCore (c)
  :name "Random Jason Timeout Test 002"
  :precision binary64
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2))))