Exception for Random Jason Timeout Test 015

• could not determine a ground truth for program body

  1. a = 6.325326311307257e+16
  2. b = 1.0556164324561457e+292

Math

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

C

double f(double a, double b) {
        double r8065 = b;
        double r8066 = atan2(r8065, r8065);
        double r8067 = sqrt(r8066);
        double r8068 = a;
        double r8069 = r8065 - r8068;
        double r8070 = pow(r8067, r8069);
        double r8071 = sin(r8070);
        return r8071;
}