Average Error: 0.6 → 0.7
Time: 5.0s
Precision: 64
\[1 - \frac{x}{\left(y - z\right) \cdot \left(y - t\right)}\]
↓
\[1 - x \cdot \frac{1}{\left(y - z\right) \cdot \left(y - t\right)}\]
1 - \frac{x}{\left(y - z\right) \cdot \left(y - t\right)}
↓
1 - x \cdot \frac{1}{\left(y - z\right) \cdot \left(y - t\right)}
double f(double x, double y, double z, double t) {
        double r236011 = 1.0;
        double r236012 = x;
        double r236013 = y;
        double r236014 = z;
        double r236015 = r236013 - r236014;
        double r236016 = t;
        double r236017 = r236013 - r236016;
        double r236018 = r236015 * r236017;
        double r236019 = r236012 / r236018;
        double r236020 = r236011 - r236019;
        return r236020;
}
↓
double f(double x, double y, double z, double t) {
        double r236021 = 1.0;
        double r236022 = x;
        double r236023 = 1.0;
        double r236024 = y;
        double r236025 = z;
        double r236026 = r236024 - r236025;
        double r236027 = t;
        double r236028 = r236024 - r236027;
        double r236029 = r236026 * r236028;
        double r236030 = r236023 / r236029;
        double r236031 = r236022 * r236030;
        double r236032 = r236021 - r236031;
        return r236032;
}

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

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

  4. Final simplification0.7

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

Reproduce

herbie shell --seed 2020036 +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)))))