Average Error: 0.0 → 0.0
Time: 32.2s
Precision: 64
\[\left(\left(\sinh c\right) \bmod \left(c - {\left( -2.9807307601812193 \cdot 10^{+165} \right)}^{2.0}\right)\right)\]
↓
\[\left(\left(\sinh c\right) \bmod \left(c - {\left( -2.9807307601812193 \cdot 10^{+165} \right)}^{2.0}\right)\right)\]
\left(\left(\sinh c\right) \bmod \left(c - {\left( -2.9807307601812193 \cdot 10^{+165} \right)}^{2.0}\right)\right)
↓
\left(\left(\sinh c\right) \bmod \left(c - {\left( -2.9807307601812193 \cdot 10^{+165} \right)}^{2.0}\right)\right)
double f(double c) {
        double r2114449 = c;
        double r2114450 = sinh(r2114449);
        double r2114451 = -2.9807307601812193e+165;
        double r2114452 = 2.0;
        double r2114453 = pow(r2114451, r2114452);
        double r2114454 = r2114449 - r2114453;
        double r2114455 = fmod(r2114450, r2114454);
        return r2114455;
}
↓
double f(double c) {
        double r2114456 = c;
        double r2114457 = sinh(r2114456);
        double r2114458 = -2.9807307601812193e+165;
        double r2114459 = 2.0;
        double r2114460 = pow(r2114458, r2114459);
        double r2114461 = r2114456 - r2114460;
        double r2114462 = fmod(r2114457, r2114461);
        return r2114462;
}

Error

Bits error versus c

Derivation

  1. Initial program 0.0

    \[\left(\left(\sinh c\right) \bmod \left(c - {\left( -2.9807307601812193 \cdot 10^{+165} \right)}^{2.0}\right)\right)\]

  2. Final simplification0.0

    \[\leadsto \left(\left(\sinh c\right) \bmod \left(c - {\left( -2.9807307601812193 \cdot 10^{+165} \right)}^{2.0}\right)\right)\]

Reproduce

herbie shell --seed 2019165 
(FPCore (c)
  :name "Random Jason Timeout Test 002"
  (fmod (sinh c) (- c (pow -2.9807307601812193e+165 2.0))))