Exception for Random Jason Timeout Test 006

• could not determine a ground truth for program body

  1. a = -4.181848803552851e+88

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 r7969 = a;
        double r7970 = expm1(r7969);
        double r7971 = sin(r7970);
        double r7972 = expm1(r7971);
        double r7973 = atan(r7969);
        double r7974 = atan2(r7972, r7973);
        double r7975 = fmod(r7974, r7969);
        double r7976 = fabs(r7975);
        return r7976;
}