Exception for Random Jason Timeout Test 003

• could not determine a ground truth for program body

  1. a = -1.0797070907266402e+133
  2. b = -3.73225626521707e+239

Math

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

C

double f(double a, double b) {
        double r7976 = b;
        double r7977 = atan2(r7976, r7976);
        double r7978 = sqrt(r7977);
        double r7979 = a;
        double r7980 = r7976 - r7979;
        double r7981 = pow(r7978, r7980);
        double r7982 = sin(r7981);
        return r7982;
}