Exception for Random Jason Timeout Test 006

• could not determine a ground truth for program body

  1. a = 4.035271246258652e+292

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 r7962 = a;
        double r7963 = expm1(r7962);
        double r7964 = sin(r7963);
        double r7965 = expm1(r7964);
        double r7966 = atan(r7962);
        double r7967 = atan2(r7965, r7966);
        double r7968 = fmod(r7967, r7962);
        double r7969 = fabs(r7968);
        return r7969;
}