Exception for Random Jason Timeout Test 002

• could not determine a ground truth for program body

  1. c = 2.88733846674046e-150

Math

\[\left(\left(\sinh c\right) \bmod \left(c - {\left( -2.98073076018121927 \cdot 10^{165} \right)}^{2}\right)\right)\]

C

double f(double c) {
        double r8946 = c;
        double r8947 = sinh(r8946);
        double r8948 = -2.9807307601812193e+165;
        double r8949 = 2.0;
        double r8950 = pow(r8948, r8949);
        double r8951 = r8946 - r8950;
        double r8952 = fmod(r8947, r8951);
        return r8952;
}