Average Error: 0.0 → 0.0
Time: 5.0s
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(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(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(y + t\right) - 2\right) \cdot b
double f(double x, double y, double z, double t, double a, double b) {
        double r41717 = x;
        double r41718 = y;
        double r41719 = 1.0;
        double r41720 = r41718 - r41719;
        double r41721 = z;
        double r41722 = r41720 * r41721;
        double r41723 = r41717 - r41722;
        double r41724 = t;
        double r41725 = r41724 - r41719;
        double r41726 = a;
        double r41727 = r41725 * r41726;
        double r41728 = r41723 - r41727;
        double r41729 = r41718 + r41724;
        double r41730 = 2.0;
        double r41731 = r41729 - r41730;
        double r41732 = b;
        double r41733 = r41731 * r41732;
        double r41734 = r41728 + r41733;
        return r41734;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r41735 = x;
        double r41736 = y;
        double r41737 = 1.0;
        double r41738 = r41736 - r41737;
        double r41739 = z;
        double r41740 = r41738 * r41739;
        double r41741 = r41735 - r41740;
        double r41742 = t;
        double r41743 = r41742 - r41737;
        double r41744 = a;
        double r41745 = r41743 * r41744;
        double r41746 = r41741 - r41745;
        double r41747 = r41736 + r41742;
        double r41748 = 2.0;
        double r41749 = r41747 - r41748;
        double r41750 = b;
        double r41751 = r41749 * r41750;
        double r41752 = r41746 + r41751;
        return r41752;
}

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

    \[\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 b\]

Reproduce

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