Exception for Random Jason Timeout Test 006

• could not determine a ground truth for program body

  1. a = -1.3016310565629476e-237

Math

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

C

double f(double a) {
        double r8018 = a;
        double r8019 = expm1(r8018);
        double r8020 = sin(r8019);
        double r8021 = expm1(r8020);
        double r8022 = atan(r8018);
        double r8023 = atan2(r8021, r8022);
        double r8024 = fmod(r8023, r8018);
        double r8025 = fabs(r8024);
        return r8025;
}