Exception for Random Jason Timeout Test 006

• could not determine a ground truth for program body

  1. a = -4.398408557398186e+133

Math

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

C

double f(double a) {
        double r8066 = a;
        double r8067 = expm1(r8066);
        double r8068 = sin(r8067);
        double r8069 = expm1(r8068);
        double r8070 = atan(r8066);
        double r8071 = atan2(r8069, r8070);
        double r8072 = fmod(r8071, r8066);
        double r8073 = fabs(r8072);
        return r8073;
}