Exception for Random Jason Timeout Test 015

• could not determine a ground truth for program body

  1. a = -1.0514042771367081e+186
  2. b = -7.124526950587564e+301

Math

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

C

double f(double a, double b) {
        double r8006 = b;
        double r8007 = atan2(r8006, r8006);
        double r8008 = sqrt(r8007);
        double r8009 = a;
        double r8010 = r8006 - r8009;
        double r8011 = pow(r8008, r8010);
        double r8012 = sin(r8011);
        return r8012;
}