Average Error: 0.6 → 0.6
Time: 3.4s
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 r206265 = 1.0;
        double r206266 = x;
        double r206267 = y;
        double r206268 = z;
        double r206269 = r206267 - r206268;
        double r206270 = t;
        double r206271 = r206267 - r206270;
        double r206272 = r206269 * r206271;
        double r206273 = r206266 / r206272;
        double r206274 = r206265 - r206273;
        return r206274;
}
↓
double f(double x, double y, double z, double t) {
        double r206275 = 1.0;
        double r206276 = x;
        double r206277 = y;
        double r206278 = z;
        double r206279 = r206277 - r206278;
        double r206280 = t;
        double r206281 = r206277 - r206280;
        double r206282 = r206279 * r206281;
        double r206283 = r206276 / r206282;
        double r206284 = r206275 - r206283;
        return r206284;
}

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

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

  2. Final simplification0.6

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

Reproduce

herbie shell --seed 2019353 +o rules:numerics
(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)))))