Average Error: 0.0 → 0.0
Time: 4.0s
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 r21753 = c;
        double r21754 = sinh(r21753);
        double r21755 = -2.9807307601812193e+165;
        double r21756 = 2.0;
        double r21757 = pow(r21755, r21756);
        double r21758 = r21753 - r21757;
        double r21759 = fmod(r21754, r21758);
        return r21759;
}
↓
double f(double c) {
        double r21760 = c;
        double r21761 = sinh(r21760);
        double r21762 = -2.9807307601812193e+165;
        double r21763 = 2.0;
        double r21764 = pow(r21762, r21763);
        double r21765 = r21760 - r21764;
        double r21766 = fmod(r21761, r21765);
        return r21766;
}

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