Average Error: 0.0 → 0.0
Time: 23.8s
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 r1811534 = x;
        double r1811535 = y;
        double r1811536 = 1.0;
        double r1811537 = r1811535 - r1811536;
        double r1811538 = z;
        double r1811539 = r1811537 * r1811538;
        double r1811540 = r1811534 - r1811539;
        double r1811541 = t;
        double r1811542 = r1811541 - r1811536;
        double r1811543 = a;
        double r1811544 = r1811542 * r1811543;
        double r1811545 = r1811540 - r1811544;
        double r1811546 = r1811535 + r1811541;
        double r1811547 = 2.0;
        double r1811548 = r1811546 - r1811547;
        double r1811549 = b;
        double r1811550 = r1811548 * r1811549;
        double r1811551 = r1811545 + r1811550;
        return r1811551;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r1811552 = x;
        double r1811553 = y;
        double r1811554 = 1.0;
        double r1811555 = r1811553 - r1811554;
        double r1811556 = z;
        double r1811557 = r1811555 * r1811556;
        double r1811558 = r1811552 - r1811557;
        double r1811559 = a;
        double r1811560 = t;
        double r1811561 = r1811560 - r1811554;
        double r1811562 = r1811559 * r1811561;
        double r1811563 = r1811558 - r1811562;
        double r1811564 = b;
        double r1811565 = r1811560 + r1811553;
        double r1811566 = 2.0;
        double r1811567 = r1811565 - r1811566;
        double r1811568 = r1811564 * r1811567;
        double r1811569 = r1811563 + r1811568;
        return r1811569;
}

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