Average Error: 0.5 → 0.5
Time: 3.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 r299604 = 1.0;
        double r299605 = x;
        double r299606 = y;
        double r299607 = z;
        double r299608 = r299606 - r299607;
        double r299609 = t;
        double r299610 = r299606 - r299609;
        double r299611 = r299608 * r299610;
        double r299612 = r299605 / r299611;
        double r299613 = r299604 - r299612;
        return r299613;
}
↓
double f(double x, double y, double z, double t) {
        double r299614 = 1.0;
        double r299615 = x;
        double r299616 = y;
        double r299617 = z;
        double r299618 = r299616 - r299617;
        double r299619 = t;
        double r299620 = r299616 - r299619;
        double r299621 = r299618 * r299620;
        double r299622 = r299615 / r299621;
        double r299623 = r299614 - r299622;
        return r299623;
}

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.5

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

  2. Final simplification0.5

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

Reproduce

herbie shell --seed 2020057 
(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)))))