Average Error: 0.7 → 0.8
Time: 11.2s
Precision: 64
\[1 - \frac{x}{\left(y - z\right) \cdot \left(y - t\right)}\]
↓
\[1 - x \cdot \frac{\frac{1}{y - z}}{y - t}\]
1 - \frac{x}{\left(y - z\right) \cdot \left(y - t\right)}
↓
1 - x \cdot \frac{\frac{1}{y - z}}{y - t}
double f(double x, double y, double z, double t) {
        double r206574 = 1.0;
        double r206575 = x;
        double r206576 = y;
        double r206577 = z;
        double r206578 = r206576 - r206577;
        double r206579 = t;
        double r206580 = r206576 - r206579;
        double r206581 = r206578 * r206580;
        double r206582 = r206575 / r206581;
        double r206583 = r206574 - r206582;
        return r206583;
}
↓
double f(double x, double y, double z, double t) {
        double r206584 = 1.0;
        double r206585 = x;
        double r206586 = 1.0;
        double r206587 = y;
        double r206588 = z;
        double r206589 = r206587 - r206588;
        double r206590 = r206586 / r206589;
        double r206591 = t;
        double r206592 = r206587 - r206591;
        double r206593 = r206590 / r206592;
        double r206594 = r206585 * r206593;
        double r206595 = r206584 - r206594;
        return r206595;
}

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 div-inv0.8

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

  5. Applied associate-/r*0.8

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

  6. Final simplification0.8

    \[\leadsto 1 - x \cdot \frac{\frac{1}{y - z}}{y - t}\]

Reproduce

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