Exception for Random Jason Timeout Test 015

• could not determine a ground truth for program body

  1. a = -1.8480937106301106e+145
  2. b = -2.992810712817395e+27

Math

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

C

double f(double a, double b) {
        double r8059 = b;
        double r8060 = atan2(r8059, r8059);
        double r8061 = sqrt(r8060);
        double r8062 = a;
        double r8063 = r8059 - r8062;
        double r8064 = pow(r8061, r8063);
        double r8065 = sin(r8064);
        return r8065;
}