Exception for Random Jason Timeout Test 003

• could not determine a ground truth for program body

  1. a = 2.7115938426145936e+256
  2. b = 2.495674666903784e+223

Math

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

C

double f(double a, double b) {
        double r8034 = b;
        double r8035 = atan2(r8034, r8034);
        double r8036 = sqrt(r8035);
        double r8037 = a;
        double r8038 = r8034 - r8037;
        double r8039 = pow(r8036, r8038);
        double r8040 = sin(r8039);
        return r8040;
}