Average Error: 0.0 → 0.0
Time: 20.6s
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 r39582 = x;
        double r39583 = y;
        double r39584 = 1.0;
        double r39585 = r39583 - r39584;
        double r39586 = z;
        double r39587 = r39585 * r39586;
        double r39588 = r39582 - r39587;
        double r39589 = t;
        double r39590 = r39589 - r39584;
        double r39591 = a;
        double r39592 = r39590 * r39591;
        double r39593 = r39588 - r39592;
        double r39594 = r39583 + r39589;
        double r39595 = 2.0;
        double r39596 = r39594 - r39595;
        double r39597 = b;
        double r39598 = r39596 * r39597;
        double r39599 = r39593 + r39598;
        return r39599;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r39600 = x;
        double r39601 = y;
        double r39602 = 1.0;
        double r39603 = r39601 - r39602;
        double r39604 = z;
        double r39605 = r39603 * r39604;
        double r39606 = r39600 - r39605;
        double r39607 = t;
        double r39608 = r39607 - r39602;
        double r39609 = a;
        double r39610 = r39608 * r39609;
        double r39611 = r39606 - r39610;
        double r39612 = r39601 + r39607;
        double r39613 = 2.0;
        double r39614 = r39612 - r39613;
        double r39615 = b;
        double r39616 = r39614 * r39615;
        double r39617 = r39611 + r39616;
        return r39617;
}

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