Exception for Random Jason Timeout Test 006

• could not determine a ground truth for program body

  1. a = -1.8480937106301106e+145

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 r8060 = a;
        double r8061 = expm1(r8060);
        double r8062 = sin(r8061);
        double r8063 = expm1(r8062);
        double r8064 = atan(r8060);
        double r8065 = atan2(r8063, r8064);
        double r8066 = fmod(r8065, r8060);
        double r8067 = fabs(r8066);
        return r8067;
}