Exception for Random Jason Timeout Test 003

• could not determine a ground truth for program body

  1. a = -9.737677514967484e+58
  2. b = -5.432789055510843e+304

Math

\[\sin \left({\left(\sqrt{\tan^{-1}_* \frac{b}{b}}\right)}^{\left(b - a\right)}\right)\]

C

double f(double a, double b) {
        double r7995 = b;
        double r7996 = atan2(r7995, r7995);
        double r7997 = sqrt(r7996);
        double r7998 = a;
        double r7999 = r7995 - r7998;
        double r8000 = pow(r7997, r7999);
        double r8001 = sin(r8000);
        return r8001;
}