Average Error: 0.0 → 0.4
Time: 14.1s
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(t - 1\right) \cdot a\right) + \left(\left(\left(y + t\right) - 2\right) \cdot \left(\sqrt[3]{b} \cdot \sqrt[3]{b}\right)\right) \cdot \sqrt[3]{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(t - 1\right) \cdot a\right) + \left(\left(\left(y + t\right) - 2\right) \cdot \left(\sqrt[3]{b} \cdot \sqrt[3]{b}\right)\right) \cdot \sqrt[3]{b}
double f(double x, double y, double z, double t, double a, double b) {
        double r54421 = x;
        double r54422 = y;
        double r54423 = 1.0;
        double r54424 = r54422 - r54423;
        double r54425 = z;
        double r54426 = r54424 * r54425;
        double r54427 = r54421 - r54426;
        double r54428 = t;
        double r54429 = r54428 - r54423;
        double r54430 = a;
        double r54431 = r54429 * r54430;
        double r54432 = r54427 - r54431;
        double r54433 = r54422 + r54428;
        double r54434 = 2.0;
        double r54435 = r54433 - r54434;
        double r54436 = b;
        double r54437 = r54435 * r54436;
        double r54438 = r54432 + r54437;
        return r54438;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r54439 = x;
        double r54440 = y;
        double r54441 = 1.0;
        double r54442 = r54440 - r54441;
        double r54443 = z;
        double r54444 = r54442 * r54443;
        double r54445 = r54439 - r54444;
        double r54446 = t;
        double r54447 = r54446 - r54441;
        double r54448 = a;
        double r54449 = r54447 * r54448;
        double r54450 = r54445 - r54449;
        double r54451 = r54440 + r54446;
        double r54452 = 2.0;
        double r54453 = r54451 - r54452;
        double r54454 = b;
        double r54455 = cbrt(r54454);
        double r54456 = r54455 * r54455;
        double r54457 = r54453 * r54456;
        double r54458 = r54457 * r54455;
        double r54459 = r54450 + r54458;
        return r54459;
}

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

    \[\leadsto \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 \color{blue}{\left(\left(\sqrt[3]{b} \cdot \sqrt[3]{b}\right) \cdot \sqrt[3]{b}\right)}\]

  4. Applied associate-*r*0.4

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

  5. Final simplification0.4

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

Reproduce

herbie shell --seed 2020047 
(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)))