Average Error: 0.7 → 0.7
Time: 8.7s
Precision: 64
\[1 - \frac{x}{\left(y - z\right) \cdot \left(y - t\right)}\]
↓
\[1 - \frac{1}{\frac{\left(y - z\right) \cdot \left(y - t\right)}{x}}\]
1 - \frac{x}{\left(y - z\right) \cdot \left(y - t\right)}
↓
1 - \frac{1}{\frac{\left(y - z\right) \cdot \left(y - t\right)}{x}}
double f(double x, double y, double z, double t) {
        double r478575 = 1.0;
        double r478576 = x;
        double r478577 = y;
        double r478578 = z;
        double r478579 = r478577 - r478578;
        double r478580 = t;
        double r478581 = r478577 - r478580;
        double r478582 = r478579 * r478581;
        double r478583 = r478576 / r478582;
        double r478584 = r478575 - r478583;
        return r478584;
}
↓
double f(double x, double y, double z, double t) {
        double r478585 = 1.0;
        double r478586 = 1.0;
        double r478587 = y;
        double r478588 = z;
        double r478589 = r478587 - r478588;
        double r478590 = t;
        double r478591 = r478587 - r478590;
        double r478592 = r478589 * r478591;
        double r478593 = x;
        double r478594 = r478592 / r478593;
        double r478595 = r478586 / r478594;
        double r478596 = r478585 - r478595;
        return r478596;
}

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. Using strategy rm

  3. Applied clear-num0.7

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

  4. Final simplification0.7

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

Reproduce

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