Exception for Random Jason Timeout Test 006

• could not determine a ground truth for program body

  1. a = -7.594672547429651e+73

Math

\[\left|\left(\left(\tan^{-1}_* \frac{\mathsf{expm1}\left(\left(\sin \left(\mathsf{expm1}\left(a\right)\right)\right)\right)}{\tan^{-1} a}\right) \bmod a\right)\right|\]

C

double f(double a) {
        double r8013 = a;
        double r8014 = expm1(r8013);
        double r8015 = sin(r8014);
        double r8016 = expm1(r8015);
        double r8017 = atan(r8013);
        double r8018 = atan2(r8016, r8017);
        double r8019 = fmod(r8018, r8013);
        double r8020 = fabs(r8019);
        return r8020;
}