Average Error: 0.0 → 0.0
Time: 11.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 r53577 = x;
        double r53578 = y;
        double r53579 = 1.0;
        double r53580 = r53578 - r53579;
        double r53581 = z;
        double r53582 = r53580 * r53581;
        double r53583 = r53577 - r53582;
        double r53584 = t;
        double r53585 = r53584 - r53579;
        double r53586 = a;
        double r53587 = r53585 * r53586;
        double r53588 = r53583 - r53587;
        double r53589 = r53578 + r53584;
        double r53590 = 2.0;
        double r53591 = r53589 - r53590;
        double r53592 = b;
        double r53593 = r53591 * r53592;
        double r53594 = r53588 + r53593;
        return r53594;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r53595 = x;
        double r53596 = y;
        double r53597 = 1.0;
        double r53598 = r53596 - r53597;
        double r53599 = z;
        double r53600 = r53598 * r53599;
        double r53601 = r53595 - r53600;
        double r53602 = t;
        double r53603 = r53602 - r53597;
        double r53604 = a;
        double r53605 = r53603 * r53604;
        double r53606 = r53601 - r53605;
        double r53607 = r53596 + r53602;
        double r53608 = 2.0;
        double r53609 = r53607 - r53608;
        double r53610 = b;
        double r53611 = r53609 * r53610;
        double r53612 = r53606 + r53611;
        return r53612;
}

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