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 r55360 = x;
        double r55361 = y;
        double r55362 = 1.0;
        double r55363 = r55361 - r55362;
        double r55364 = z;
        double r55365 = r55363 * r55364;
        double r55366 = r55360 - r55365;
        double r55367 = t;
        double r55368 = r55367 - r55362;
        double r55369 = a;
        double r55370 = r55368 * r55369;
        double r55371 = r55366 - r55370;
        double r55372 = r55361 + r55367;
        double r55373 = 2.0;
        double r55374 = r55372 - r55373;
        double r55375 = b;
        double r55376 = r55374 * r55375;
        double r55377 = r55371 + r55376;
        return r55377;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r55378 = x;
        double r55379 = y;
        double r55380 = 1.0;
        double r55381 = r55379 - r55380;
        double r55382 = z;
        double r55383 = r55381 * r55382;
        double r55384 = r55378 - r55383;
        double r55385 = t;
        double r55386 = r55385 - r55380;
        double r55387 = a;
        double r55388 = r55386 * r55387;
        double r55389 = r55384 - r55388;
        double r55390 = r55379 + r55385;
        double r55391 = 2.0;
        double r55392 = r55390 - r55391;
        double r55393 = b;
        double r55394 = cbrt(r55393);
        double r55395 = r55394 * r55394;
        double r55396 = r55392 * r55395;
        double r55397 = r55396 * r55394;
        double r55398 = r55389 + r55397;
        return r55398;
}

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)))