Average Error: 0.0 → 0.0
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) + b \cdot \left(\left(t + y\right) - 2.0\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) + b \cdot \left(\left(t + y\right) - 2.0\right)
double f(double x, double y, double z, double t, double a, double b) {
        double r2689683 = x;
        double r2689684 = y;
        double r2689685 = 1.0;
        double r2689686 = r2689684 - r2689685;
        double r2689687 = z;
        double r2689688 = r2689686 * r2689687;
        double r2689689 = r2689683 - r2689688;
        double r2689690 = t;
        double r2689691 = r2689690 - r2689685;
        double r2689692 = a;
        double r2689693 = r2689691 * r2689692;
        double r2689694 = r2689689 - r2689693;
        double r2689695 = r2689684 + r2689690;
        double r2689696 = 2.0;
        double r2689697 = r2689695 - r2689696;
        double r2689698 = b;
        double r2689699 = r2689697 * r2689698;
        double r2689700 = r2689694 + r2689699;
        return r2689700;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r2689701 = x;
        double r2689702 = y;
        double r2689703 = 1.0;
        double r2689704 = r2689702 - r2689703;
        double r2689705 = z;
        double r2689706 = r2689704 * r2689705;
        double r2689707 = r2689701 - r2689706;
        double r2689708 = a;
        double r2689709 = t;
        double r2689710 = r2689709 - r2689703;
        double r2689711 = r2689708 * r2689710;
        double r2689712 = r2689707 - r2689711;
        double r2689713 = b;
        double r2689714 = r2689709 + r2689702;
        double r2689715 = 2.0;
        double r2689716 = r2689714 - r2689715;
        double r2689717 = r2689713 * r2689716;
        double r2689718 = r2689712 + r2689717;
        return r2689718;
}

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. Final simplification0.0

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

Reproduce

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