Exception for Random Jason Timeout Test 003

• could not determine a ground truth for program body

  1. a = 6.015287964714767e+217
  2. b = 1.0223361418938222e+258

Math

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

C

double f(double a, double b) {
        double r8024 = b;
        double r8025 = atan2(r8024, r8024);
        double r8026 = sqrt(r8025);
        double r8027 = a;
        double r8028 = r8024 - r8027;
        double r8029 = pow(r8026, r8028);
        double r8030 = sin(r8029);
        return r8030;
}