Exception for Random Jason Timeout Test 006

• could not determine a ground truth for program body

  1. a = -3.067425513895079e-273

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 r7979 = a;
        double r7980 = expm1(r7979);
        double r7981 = sin(r7980);
        double r7982 = expm1(r7981);
        double r7983 = atan(r7979);
        double r7984 = atan2(r7982, r7983);
        double r7985 = fmod(r7984, r7979);
        double r7986 = fabs(r7985);
        return r7986;
}