Average Error: 0.1 → 0.1
Time: 14.8s
Precision: 64
\[\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)\]
\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)
double f(double a, double b) {
        double r983540 = b;
        double r983541 = atan2(r983540, r983540);
        double r983542 = sqrt(r983541);
        double r983543 = a;
        double r983544 = r983540 - r983543;
        double r983545 = pow(r983542, r983544);
        double r983546 = sin(r983545);
        return r983546;
}
↓
double f(double a, double b) {
        double r983547 = b;
        double r983548 = atan2(r983547, r983547);
        double r983549 = sqrt(r983548);
        double r983550 = a;
        double r983551 = r983547 - r983550;
        double r983552 = pow(r983549, r983551);
        double r983553 = sin(r983552);
        return r983553;
}

Error

Bits error versus a

Bits error versus b

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.1

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

  2. Final simplification0.1

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

Reproduce

herbie shell --seed 2019169 
(FPCore (a b)
  :name "Random Jason Timeout Test 015"
  (sin (pow (sqrt (atan2 b b)) (- b a))))