Average Error: 0.0 → 0.2
Time: 49.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(z \cdot \sqrt[3]{y - 1}\right) \cdot \left(\sqrt[3]{y - 1} \cdot \sqrt[3]{y - 1}\right)\right) - \left(t - 1\right) \cdot a\right) + b \cdot \left(\left(y + t\right) - 2\right)\]
\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(z \cdot \sqrt[3]{y - 1}\right) \cdot \left(\sqrt[3]{y - 1} \cdot \sqrt[3]{y - 1}\right)\right) - \left(t - 1\right) \cdot a\right) + b \cdot \left(\left(y + t\right) - 2\right)
double f(double x, double y, double z, double t, double a, double b) {
        double r2782532 = x;
        double r2782533 = y;
        double r2782534 = 1.0;
        double r2782535 = r2782533 - r2782534;
        double r2782536 = z;
        double r2782537 = r2782535 * r2782536;
        double r2782538 = r2782532 - r2782537;
        double r2782539 = t;
        double r2782540 = r2782539 - r2782534;
        double r2782541 = a;
        double r2782542 = r2782540 * r2782541;
        double r2782543 = r2782538 - r2782542;
        double r2782544 = r2782533 + r2782539;
        double r2782545 = 2.0;
        double r2782546 = r2782544 - r2782545;
        double r2782547 = b;
        double r2782548 = r2782546 * r2782547;
        double r2782549 = r2782543 + r2782548;
        return r2782549;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r2782550 = x;
        double r2782551 = z;
        double r2782552 = y;
        double r2782553 = 1.0;
        double r2782554 = r2782552 - r2782553;
        double r2782555 = cbrt(r2782554);
        double r2782556 = r2782551 * r2782555;
        double r2782557 = r2782555 * r2782555;
        double r2782558 = r2782556 * r2782557;
        double r2782559 = r2782550 - r2782558;
        double r2782560 = t;
        double r2782561 = r2782560 - r2782553;
        double r2782562 = a;
        double r2782563 = r2782561 * r2782562;
        double r2782564 = r2782559 - r2782563;
        double r2782565 = b;
        double r2782566 = r2782552 + r2782560;
        double r2782567 = 2.0;
        double r2782568 = r2782566 - r2782567;
        double r2782569 = r2782565 * r2782568;
        double r2782570 = r2782564 + r2782569;
        return r2782570;
}

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

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

  4. Applied associate-*l*0.2

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

  5. Final simplification0.2

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

Reproduce

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