Average Error: 0.0 → 0.4
Time: 19.7s
Precision: 64
\[\left(\left(x - \left(y - 1.0\right) \cdot z\right) - \left(t - 1.0\right) \cdot a\right) + \left(\left(y + t\right) - 2.0\right) \cdot b\]
↓
\[\left(\left(x - \left(y - 1.0\right) \cdot z\right) - a \cdot \left(t - 1.0\right)\right) + \sqrt[3]{b \cdot \left(\left(t + y\right) - 2.0\right)} \cdot \left(\left(\sqrt[3]{\left(t + y\right) - 2.0} \cdot \sqrt[3]{b \cdot \left(\left(t + y\right) - 2.0\right)}\right) \cdot \sqrt[3]{b}\right)\]
\left(\left(x - \left(y - 1.0\right) \cdot z\right) - \left(t - 1.0\right) \cdot a\right) + \left(\left(y + t\right) - 2.0\right) \cdot b
↓
\left(\left(x - \left(y - 1.0\right) \cdot z\right) - a \cdot \left(t - 1.0\right)\right) + \sqrt[3]{b \cdot \left(\left(t + y\right) - 2.0\right)} \cdot \left(\left(\sqrt[3]{\left(t + y\right) - 2.0} \cdot \sqrt[3]{b \cdot \left(\left(t + y\right) - 2.0\right)}\right) \cdot \sqrt[3]{b}\right)
double f(double x, double y, double z, double t, double a, double b) {
        double r2742348 = x;
        double r2742349 = y;
        double r2742350 = 1.0;
        double r2742351 = r2742349 - r2742350;
        double r2742352 = z;
        double r2742353 = r2742351 * r2742352;
        double r2742354 = r2742348 - r2742353;
        double r2742355 = t;
        double r2742356 = r2742355 - r2742350;
        double r2742357 = a;
        double r2742358 = r2742356 * r2742357;
        double r2742359 = r2742354 - r2742358;
        double r2742360 = r2742349 + r2742355;
        double r2742361 = 2.0;
        double r2742362 = r2742360 - r2742361;
        double r2742363 = b;
        double r2742364 = r2742362 * r2742363;
        double r2742365 = r2742359 + r2742364;
        return r2742365;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r2742366 = x;
        double r2742367 = y;
        double r2742368 = 1.0;
        double r2742369 = r2742367 - r2742368;
        double r2742370 = z;
        double r2742371 = r2742369 * r2742370;
        double r2742372 = r2742366 - r2742371;
        double r2742373 = a;
        double r2742374 = t;
        double r2742375 = r2742374 - r2742368;
        double r2742376 = r2742373 * r2742375;
        double r2742377 = r2742372 - r2742376;
        double r2742378 = b;
        double r2742379 = r2742374 + r2742367;
        double r2742380 = 2.0;
        double r2742381 = r2742379 - r2742380;
        double r2742382 = r2742378 * r2742381;
        double r2742383 = cbrt(r2742382);
        double r2742384 = cbrt(r2742381);
        double r2742385 = r2742384 * r2742383;
        double r2742386 = cbrt(r2742378);
        double r2742387 = r2742385 * r2742386;
        double r2742388 = r2742383 * r2742387;
        double r2742389 = r2742377 + r2742388;
        return r2742389;
}

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.0\right) \cdot z\right) - \left(t - 1.0\right) \cdot a\right) + \left(\left(y + t\right) - 2.0\right) \cdot b\]
  2. Using strategy rm

  3. Applied add-cube-cbrt0.4

    \[\leadsto \left(\left(x - \left(y - 1.0\right) \cdot z\right) - \left(t - 1.0\right) \cdot a\right) + \color{blue}{\left(\sqrt[3]{\left(\left(y + t\right) - 2.0\right) \cdot b} \cdot \sqrt[3]{\left(\left(y + t\right) - 2.0\right) \cdot b}\right) \cdot \sqrt[3]{\left(\left(y + t\right) - 2.0\right) \cdot b}}\]
  4. Using strategy rm

  5. Applied cbrt-prod0.4

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

  6. Applied associate-*r*0.4

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

  7. Final simplification0.4

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

Reproduce

herbie shell --seed 2019162 
(FPCore (x y z t a b)
  :name "Statistics.Distribution.Beta:$centropy from math-functions-0.1.5.2"
  (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)))