Average Error: 0.6 → 0.6
Time: 3.5s
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 r277254 = 1.0;
        double r277255 = x;
        double r277256 = y;
        double r277257 = z;
        double r277258 = r277256 - r277257;
        double r277259 = t;
        double r277260 = r277256 - r277259;
        double r277261 = r277258 * r277260;
        double r277262 = r277255 / r277261;
        double r277263 = r277254 - r277262;
        return r277263;
}
↓
double f(double x, double y, double z, double t) {
        double r277264 = 1.0;
        double r277265 = 1.0;
        double r277266 = x;
        double r277267 = y;
        double r277268 = z;
        double r277269 = r277267 - r277268;
        double r277270 = t;
        double r277271 = r277267 - r277270;
        double r277272 = r277269 * r277271;
        double r277273 = r277266 / r277272;
        double r277274 = r277265 * r277273;
        double r277275 = r277264 - r277274;
        return r277275;
}

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 +o rules:numerics
(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)))))