Average Error: 0.0 → 0.4
Time: 20.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 r2742407 = x;
        double r2742408 = y;
        double r2742409 = 1.0;
        double r2742410 = r2742408 - r2742409;
        double r2742411 = z;
        double r2742412 = r2742410 * r2742411;
        double r2742413 = r2742407 - r2742412;
        double r2742414 = t;
        double r2742415 = r2742414 - r2742409;
        double r2742416 = a;
        double r2742417 = r2742415 * r2742416;
        double r2742418 = r2742413 - r2742417;
        double r2742419 = r2742408 + r2742414;
        double r2742420 = 2.0;
        double r2742421 = r2742419 - r2742420;
        double r2742422 = b;
        double r2742423 = r2742421 * r2742422;
        double r2742424 = r2742418 + r2742423;
        return r2742424;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r2742425 = x;
        double r2742426 = y;
        double r2742427 = 1.0;
        double r2742428 = r2742426 - r2742427;
        double r2742429 = z;
        double r2742430 = r2742428 * r2742429;
        double r2742431 = r2742425 - r2742430;
        double r2742432 = a;
        double r2742433 = t;
        double r2742434 = r2742433 - r2742427;
        double r2742435 = r2742432 * r2742434;
        double r2742436 = r2742431 - r2742435;
        double r2742437 = b;
        double r2742438 = r2742433 + r2742426;
        double r2742439 = 2.0;
        double r2742440 = r2742438 - r2742439;
        double r2742441 = r2742437 * r2742440;
        double r2742442 = cbrt(r2742441);
        double r2742443 = cbrt(r2742440);
        double r2742444 = r2742443 * r2742442;
        double r2742445 = cbrt(r2742437);
        double r2742446 = r2742444 * r2742445;
        double r2742447 = r2742442 * r2742446;
        double r2742448 = r2742436 + r2742447;
        return r2742448;
}

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