Average Error: 0.7 → 0.7
Time: 8.8s
Precision: 64
\[1 - \frac{x}{\left(y - z\right) \cdot \left(y - t\right)}\]
↓
\[1 - \frac{x}{\left(y - z\right) \cdot \left(y - t\right)}\]
1 - \frac{x}{\left(y - z\right) \cdot \left(y - t\right)}
↓
1 - \frac{x}{\left(y - z\right) \cdot \left(y - t\right)}
double f(double x, double y, double z, double t) {
        double r300527 = 1.0;
        double r300528 = x;
        double r300529 = y;
        double r300530 = z;
        double r300531 = r300529 - r300530;
        double r300532 = t;
        double r300533 = r300529 - r300532;
        double r300534 = r300531 * r300533;
        double r300535 = r300528 / r300534;
        double r300536 = r300527 - r300535;
        return r300536;
}
↓
double f(double x, double y, double z, double t) {
        double r300537 = 1.0;
        double r300538 = x;
        double r300539 = y;
        double r300540 = z;
        double r300541 = r300539 - r300540;
        double r300542 = t;
        double r300543 = r300539 - r300542;
        double r300544 = r300541 * r300543;
        double r300545 = r300538 / r300544;
        double r300546 = r300537 - r300545;
        return r300546;
}

Error

Bits error versus x

Bits error versus y

Bits error versus z

Bits error versus t

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.7

    \[1 - \frac{x}{\left(y - z\right) \cdot \left(y - t\right)}\]

  2. Final simplification0.7

    \[\leadsto 1 - \frac{x}{\left(y - z\right) \cdot \left(y - t\right)}\]

Reproduce

herbie shell --seed 2020046 
(FPCore (x y z t)
  :name "Data.Random.Distribution.Triangular:triangularCDF from random-fu-0.2.6.2, A"
  :precision binary64
  (- 1 (/ x (* (- y z) (- y t)))))