Average Error: 0.0 → 0.0
Time: 8.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 r9081 = c;
        double r9082 = sinh(r9081);
        double r9083 = -2.9807307601812193e+165;
        double r9084 = 2.0;
        double r9085 = pow(r9083, r9084);
        double r9086 = r9081 - r9085;
        double r9087 = fmod(r9082, r9086);
        return r9087;
}
↓
double f(double c) {
        double r9088 = c;
        double r9089 = sinh(r9088);
        double r9090 = -2.9807307601812193e+165;
        double r9091 = 2.0;
        double r9092 = pow(r9090, r9091);
        double r9093 = r9088 - r9092;
        double r9094 = fmod(r9089, r9093);
        return r9094;
}

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