Average Error: 0.0 → 0.0
Time: 4.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 r16451 = c;
        double r16452 = sinh(r16451);
        double r16453 = -2.9807307601812193e+165;
        double r16454 = 2.0;
        double r16455 = pow(r16453, r16454);
        double r16456 = r16451 - r16455;
        double r16457 = fmod(r16452, r16456);
        return r16457;
}
↓
double f(double c) {
        double r16458 = c;
        double r16459 = sinh(r16458);
        double r16460 = -2.9807307601812193e+165;
        double r16461 = 2.0;
        double r16462 = pow(r16460, r16461);
        double r16463 = r16458 - r16462;
        double r16464 = fmod(r16459, r16463);
        return r16464;
}

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