Average Error: 0.0 → 0.0
Time: 3.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 r11253 = c;
        double r11254 = sinh(r11253);
        double r11255 = -2.9807307601812193e+165;
        double r11256 = 2.0;
        double r11257 = pow(r11255, r11256);
        double r11258 = r11253 - r11257;
        double r11259 = fmod(r11254, r11258);
        return r11259;
}
↓
double f(double c) {
        double r11260 = c;
        double r11261 = sinh(r11260);
        double r11262 = -2.9807307601812193e+165;
        double r11263 = 2.0;
        double r11264 = pow(r11262, r11263);
        double r11265 = r11260 - r11264;
        double r11266 = fmod(r11261, r11265);
        return r11266;
}

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