Average Error: 0.0 → 0.0
Time: 9.3s
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 r35273 = x;
        double r35274 = y;
        double r35275 = 1.0;
        double r35276 = r35274 - r35275;
        double r35277 = z;
        double r35278 = r35276 * r35277;
        double r35279 = r35273 - r35278;
        double r35280 = t;
        double r35281 = r35280 - r35275;
        double r35282 = a;
        double r35283 = r35281 * r35282;
        double r35284 = r35279 - r35283;
        double r35285 = r35274 + r35280;
        double r35286 = 2.0;
        double r35287 = r35285 - r35286;
        double r35288 = b;
        double r35289 = r35287 * r35288;
        double r35290 = r35284 + r35289;
        return r35290;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r35291 = x;
        double r35292 = y;
        double r35293 = 1.0;
        double r35294 = r35292 - r35293;
        double r35295 = z;
        double r35296 = r35294 * r35295;
        double r35297 = r35291 - r35296;
        double r35298 = t;
        double r35299 = r35298 - r35293;
        double r35300 = a;
        double r35301 = r35299 * r35300;
        double r35302 = r35297 - r35301;
        double r35303 = r35292 + r35298;
        double r35304 = 2.0;
        double r35305 = r35303 - r35304;
        double r35306 = b;
        double r35307 = r35305 * r35306;
        double r35308 = r35302 + r35307;
        return r35308;
}

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