Average Error: 0.0 → 0.3
Time: 5.6s
Precision: 64
\[\left(\left(x - \left(y - 1\right) \cdot z\right) - \left(t - 1\right) \cdot a\right) + \left(\left(y + t\right) - 2\right) \cdot b\]
↓
\[\left(\left(x - \left(y - 1\right) \cdot z\right) - \left(\sqrt[3]{\left(t - 1\right) \cdot a} \cdot \sqrt[3]{\left(t - 1\right) \cdot a}\right) \cdot \sqrt[3]{\left(t - 1\right) \cdot a}\right) + \left(\left(y + t\right) - 2\right) \cdot b\]
\left(\left(x - \left(y - 1\right) \cdot z\right) - \left(t - 1\right) \cdot a\right) + \left(\left(y + t\right) - 2\right) \cdot b
↓
\left(\left(x - \left(y - 1\right) \cdot z\right) - \left(\sqrt[3]{\left(t - 1\right) \cdot a} \cdot \sqrt[3]{\left(t - 1\right) \cdot a}\right) \cdot \sqrt[3]{\left(t - 1\right) \cdot a}\right) + \left(\left(y + t\right) - 2\right) \cdot b
double f(double x, double y, double z, double t, double a, double b) {
        double r38417 = x;
        double r38418 = y;
        double r38419 = 1.0;
        double r38420 = r38418 - r38419;
        double r38421 = z;
        double r38422 = r38420 * r38421;
        double r38423 = r38417 - r38422;
        double r38424 = t;
        double r38425 = r38424 - r38419;
        double r38426 = a;
        double r38427 = r38425 * r38426;
        double r38428 = r38423 - r38427;
        double r38429 = r38418 + r38424;
        double r38430 = 2.0;
        double r38431 = r38429 - r38430;
        double r38432 = b;
        double r38433 = r38431 * r38432;
        double r38434 = r38428 + r38433;
        return r38434;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r38435 = x;
        double r38436 = y;
        double r38437 = 1.0;
        double r38438 = r38436 - r38437;
        double r38439 = z;
        double r38440 = r38438 * r38439;
        double r38441 = r38435 - r38440;
        double r38442 = t;
        double r38443 = r38442 - r38437;
        double r38444 = a;
        double r38445 = r38443 * r38444;
        double r38446 = cbrt(r38445);
        double r38447 = r38446 * r38446;
        double r38448 = r38447 * r38446;
        double r38449 = r38441 - r38448;
        double r38450 = r38436 + r38442;
        double r38451 = 2.0;
        double r38452 = r38450 - r38451;
        double r38453 = b;
        double r38454 = r38452 * r38453;
        double r38455 = r38449 + r38454;
        return r38455;
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

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.0

    \[\left(\left(x - \left(y - 1\right) \cdot z\right) - \left(t - 1\right) \cdot a\right) + \left(\left(y + t\right) - 2\right) \cdot b\]
  2. Using strategy rm

  3. Applied add-cube-cbrt0.3

    \[\leadsto \left(\left(x - \left(y - 1\right) \cdot z\right) - \color{blue}{\left(\sqrt[3]{\left(t - 1\right) \cdot a} \cdot \sqrt[3]{\left(t - 1\right) \cdot a}\right) \cdot \sqrt[3]{\left(t - 1\right) \cdot a}}\right) + \left(\left(y + t\right) - 2\right) \cdot b\]

  4. Final simplification0.3

    \[\leadsto \left(\left(x - \left(y - 1\right) \cdot z\right) - \left(\sqrt[3]{\left(t - 1\right) \cdot a} \cdot \sqrt[3]{\left(t - 1\right) \cdot a}\right) \cdot \sqrt[3]{\left(t - 1\right) \cdot a}\right) + \left(\left(y + t\right) - 2\right) \cdot b\]

Reproduce

herbie shell --seed 2020056 
(FPCore (x y z t a b)
  :name "Statistics.Distribution.Beta:$centropy from math-functions-0.1.5.2"
  :precision binary64
  (+ (- (- x (* (- y 1) z)) (* (- t 1) a)) (* (- (+ y t) 2) b)))