Average Error: 0.0 → 0.0
Time: 6.1s
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 r44492 = x;
        double r44493 = y;
        double r44494 = 1.0;
        double r44495 = r44493 - r44494;
        double r44496 = z;
        double r44497 = r44495 * r44496;
        double r44498 = r44492 - r44497;
        double r44499 = t;
        double r44500 = r44499 - r44494;
        double r44501 = a;
        double r44502 = r44500 * r44501;
        double r44503 = r44498 - r44502;
        double r44504 = r44493 + r44499;
        double r44505 = 2.0;
        double r44506 = r44504 - r44505;
        double r44507 = b;
        double r44508 = r44506 * r44507;
        double r44509 = r44503 + r44508;
        return r44509;
}
↓
double f(double x, double y, double z, double t, double a, double b) {
        double r44510 = x;
        double r44511 = y;
        double r44512 = 1.0;
        double r44513 = r44511 - r44512;
        double r44514 = z;
        double r44515 = r44513 * r44514;
        double r44516 = r44510 - r44515;
        double r44517 = t;
        double r44518 = r44517 - r44512;
        double r44519 = a;
        double r44520 = r44518 * r44519;
        double r44521 = r44516 - r44520;
        double r44522 = r44511 + r44517;
        double r44523 = 2.0;
        double r44524 = r44522 - r44523;
        double r44525 = b;
        double r44526 = r44524 * r44525;
        double r44527 = r44521 + r44526;
        return r44527;
}

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