Random Jason Timeout Test 003

Average Error: 0.1 → 0.1

Time: 15.6s

Precision: 64

• Falling back on racket egraph because egg-herbie package not installed

• could not determine a ground truth for program body

  1. a = 1.818673981998486e+237
  2. b = 3.109809281420871e-25

Math

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

↓

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

C

double f(double a, double b) {
        double r83437 = b;
        double r83438 = atan2(r83437, r83437);
        double r83439 = sqrt(r83438);
        double r83440 = a;
        double r83441 = r83437 - r83440;
        double r83442 = pow(r83439, r83441);
        double r83443 = sin(r83442);
        return r83443;
}

↓

double f(double a, double b) {
        double r83444 = b;
        double r83445 = atan2(r83444, r83444);
        double r83446 = sqrt(r83445);
        double r83447 = a;
        double r83448 = r83444 - r83447;
        double r83449 = pow(r83446, r83448);
        double r83450 = sin(r83449);
        return r83450;
}

Error

Bits error versus a

Bits error versus b

Derivation

1. Initial program 0.1

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

3. Applied pow1 0.1

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

4. Final simplification 0.1

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

Reproduce

herbie shell --seed 2019350 +o rules:numerics
(FPCore (a b)
  :name "Random Jason Timeout Test 003"
  :precision binary64
  (sin (pow (sqrt (atan2 b b)) (- b a))))