Average Error: 0.6 → 0.6
Time: 3.2s
Precision: 64
\[1 - \frac{x}{\left(y - z\right) \cdot \left(y - t\right)}\]
↓
\[1 - 1 \cdot \frac{x}{\left(y - z\right) \cdot \left(y - t\right)}\]
1 - \frac{x}{\left(y - z\right) \cdot \left(y - t\right)}
↓
1 - 1 \cdot \frac{x}{\left(y - z\right) \cdot \left(y - t\right)}
double f(double x, double y, double z, double t) {
        double r212032 = 1.0;
        double r212033 = x;
        double r212034 = y;
        double r212035 = z;
        double r212036 = r212034 - r212035;
        double r212037 = t;
        double r212038 = r212034 - r212037;
        double r212039 = r212036 * r212038;
        double r212040 = r212033 / r212039;
        double r212041 = r212032 - r212040;
        return r212041;
}
↓
double f(double x, double y, double z, double t) {
        double r212042 = 1.0;
        double r212043 = 1.0;
        double r212044 = x;
        double r212045 = y;
        double r212046 = z;
        double r212047 = r212045 - r212046;
        double r212048 = t;
        double r212049 = r212045 - r212048;
        double r212050 = r212047 * r212049;
        double r212051 = r212044 / r212050;
        double r212052 = r212043 * r212051;
        double r212053 = r212042 - r212052;
        return r212053;
}

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

  3. Applied clear-num0.6

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

  5. Applied *-un-lft-identity0.6

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

  6. Applied add-cube-cbrt0.6

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

  7. Applied times-frac0.6

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

  8. Simplified0.6

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

  9. Simplified0.6

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

  10. Final simplification0.6

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

Reproduce

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