Exception for Random Jason Timeout Test 015

• could not determine a ground truth for program body

  1. a = -4.4483813255795346e+247
  2. b = 8.878712059636007e+281

Math

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

C

double f(double a, double b) {
        double r7961 = b;
        double r7962 = atan2(r7961, r7961);
        double r7963 = sqrt(r7962);
        double r7964 = a;
        double r7965 = r7961 - r7964;
        double r7966 = pow(r7963, r7965);
        double r7967 = sin(r7966);
        return r7967;
}