Average Error: 0.7 → 0.7
Time: 8.2s
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 r331639 = 1.0;
        double r331640 = x;
        double r331641 = y;
        double r331642 = z;
        double r331643 = r331641 - r331642;
        double r331644 = t;
        double r331645 = r331641 - r331644;
        double r331646 = r331643 * r331645;
        double r331647 = r331640 / r331646;
        double r331648 = r331639 - r331647;
        return r331648;
}
↓
double f(double x, double y, double z, double t) {
        double r331649 = 1.0;
        double r331650 = x;
        double r331651 = y;
        double r331652 = z;
        double r331653 = r331651 - r331652;
        double r331654 = t;
        double r331655 = r331651 - r331654;
        double r331656 = r331653 * r331655;
        double r331657 = r331650 / r331656;
        double r331658 = r331649 - r331657;
        return r331658;
}

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