Average Error: 0.0 → 0.0
Time: 9.5s
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 r7279 = c;
        double r7280 = sinh(r7279);
        double r7281 = -2.9807307601812193e+165;
        double r7282 = 2.0;
        double r7283 = pow(r7281, r7282);
        double r7284 = r7279 - r7283;
        double r7285 = fmod(r7280, r7284);
        return r7285;
}
↓
double f(double c) {
        double r7286 = c;
        double r7287 = sinh(r7286);
        double r7288 = -2.9807307601812193e+165;
        double r7289 = 2.0;
        double r7290 = pow(r7288, r7289);
        double r7291 = r7286 - r7290;
        double r7292 = fmod(r7287, r7291);
        return r7292;
}

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 014"
  :precision binary64
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2))))