Average Error: 0.0 → 0.0
Time: 5.7s
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 r37168 = x;
        double r37169 = y;
        double r37170 = 1.0;
        double r37171 = r37169 - r37170;
        double r37172 = z;
        double r37173 = r37171 * r37172;
        double r37174 = r37168 - r37173;
        double r37175 = t;
        double r37176 = r37175 - r37170;
        double r37177 = a;
        double r37178 = r37176 * r37177;
        double r37179 = r37174 - r37178;
        double r37180 = r37169 + r37175;
        double r37181 = 2.0;
        double r37182 = r37180 - r37181;
        double r37183 = b;
        double r37184 = r37182 * r37183;
        double r37185 = r37179 + r37184;
        return r37185;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r37186 = x;
        double r37187 = y;
        double r37188 = 1.0;
        double r37189 = r37187 - r37188;
        double r37190 = z;
        double r37191 = r37189 * r37190;
        double r37192 = r37186 - r37191;
        double r37193 = t;
        double r37194 = r37193 - r37188;
        double r37195 = a;
        double r37196 = r37194 * r37195;
        double r37197 = r37192 - r37196;
        double r37198 = r37187 + r37193;
        double r37199 = 2.0;
        double r37200 = r37198 - r37199;
        double r37201 = b;
        double r37202 = r37200 * r37201;
        double r37203 = r37197 + r37202;
        return r37203;
}

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