Average Error: 0.6 → 0.6
Time: 18.3s
Precision: 64
\[1.0 - \frac{x}{\left(y - z\right) \cdot \left(y - t\right)}\]
↓
\[1.0 - \frac{x}{\left(y - t\right) \cdot \left(y - z\right)}\]
1.0 - \frac{x}{\left(y - z\right) \cdot \left(y - t\right)}
↓
1.0 - \frac{x}{\left(y - t\right) \cdot \left(y - z\right)}
double f(double x, double y, double z, double t) {
        double r12709070 = 1.0;
        double r12709071 = x;
        double r12709072 = y;
        double r12709073 = z;
        double r12709074 = r12709072 - r12709073;
        double r12709075 = t;
        double r12709076 = r12709072 - r12709075;
        double r12709077 = r12709074 * r12709076;
        double r12709078 = r12709071 / r12709077;
        double r12709079 = r12709070 - r12709078;
        return r12709079;
}
↓
double f(double x, double y, double z, double t) {
        double r12709080 = 1.0;
        double r12709081 = x;
        double r12709082 = y;
        double r12709083 = t;
        double r12709084 = r12709082 - r12709083;
        double r12709085 = z;
        double r12709086 = r12709082 - r12709085;
        double r12709087 = r12709084 * r12709086;
        double r12709088 = r12709081 / r12709087;
        double r12709089 = r12709080 - r12709088;
        return r12709089;
}

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.0 - \frac{x}{\left(y - z\right) \cdot \left(y - t\right)}\]

  2. Final simplification0.6

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

Reproduce

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