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

↓

\[\begin{array}{l} \mathbf{if}\;y \le -9.256433330744623459305053345343833502321 \cdot 10^{202}:\\ \;\;\;\;\frac{\frac{x}{y - z}}{t - z}\\ \mathbf{elif}\;y \le 2.539024418620928964612544620557800285401 \cdot 10^{-223}:\\ \;\;\;\;\frac{\frac{x}{t - z}}{y - z}\\ \mathbf{else}:\\ \;\;\;\;\frac{\frac{x}{y - z}}{t - z}\\ \end{array}\]

\frac{x}{\left(y - z\right) \cdot \left(t - z\right)}

↓

\begin{array}{l}
\mathbf{if}\;y \le -9.256433330744623459305053345343833502321 \cdot 10^{202}:\\
\;\;\;\;\frac{\frac{x}{y - z}}{t - z}\\

\mathbf{elif}\;y \le 2.539024418620928964612544620557800285401 \cdot 10^{-223}:\\
\;\;\;\;\frac{\frac{x}{t - z}}{y - z}\\

\mathbf{else}:\\
\;\;\;\;\frac{\frac{x}{y - z}}{t - z}\\

\end{array}

double f(double x, double y, double z, double t) {
        double r136397597 = x;
        double r136397598 = y;
        double r136397599 = z;
        double r136397600 = r136397598 - r136397599;
        double r136397601 = t;
        double r136397602 = r136397601 - r136397599;
        double r136397603 = r136397600 * r136397602;
        double r136397604 = r136397597 / r136397603;
        return r136397604;
}

↓

double f(double x, double y, double z, double t) {
        double r136397605 = y;
        double r136397606 = -9.256433330744623e+202;
        bool r136397607 = r136397605 <= r136397606;
        double r136397608 = x;
        double r136397609 = z;
        double r136397610 = r136397605 - r136397609;
        double r136397611 = r136397608 / r136397610;
        double r136397612 = t;
        double r136397613 = r136397612 - r136397609;
        double r136397614 = r136397611 / r136397613;
        double r136397615 = 2.539024418620929e-223;
        bool r136397616 = r136397605 <= r136397615;
        double r136397617 = r136397608 / r136397613;
        double r136397618 = r136397617 / r136397610;
        double r136397619 = r136397616 ? r136397618 : r136397614;
        double r136397620 = r136397607 ? r136397614 : r136397619;
        return r136397620;
}

Original	7.5
Target	8.3
Herbie	2.1

Derivation

Split input into 2 regimes
if y < -9.256433330744623e+202 or 2.539024418620929e-223 < y
1. Initial program 8.4
  \[\frac{x}{\left(y - z\right) \cdot \left(t - z\right)}\]
2. Using strategy rm
3. Applied associate-/r*2.2
  \[\leadsto \color{blue}{\frac{\frac{x}{y - z}}{t - z}}\]
if -9.256433330744623e+202 < y < 2.539024418620929e-223
1. Initial program 6.6
  \[\frac{x}{\left(y - z\right) \cdot \left(t - z\right)}\]
2. Using strategy rm
3. Applied add-cube-cbrt7.2
  \[\leadsto \frac{\color{blue}{\left(\sqrt[3]{x} \cdot \sqrt[3]{x}\right) \cdot \sqrt[3]{x}}}{\left(y - z\right) \cdot \left(t - z\right)}\]
4. Applied times-frac1.7
  \[\leadsto \color{blue}{\frac{\sqrt[3]{x} \cdot \sqrt[3]{x}}{y - z} \cdot \frac{\sqrt[3]{x}}{t - z}}\]
5. Using strategy rm
6. Applied associate-*l/2.7
  \[\leadsto \color{blue}{\frac{\left(\sqrt[3]{x} \cdot \sqrt[3]{x}\right) \cdot \frac{\sqrt[3]{x}}{t - z}}{y - z}}\]
7. Simplified2.1
  \[\leadsto \frac{\color{blue}{\frac{x}{t - z}}}{y - z}\]
Recombined 2 regimes into one program.
Final simplification2.1
\[\leadsto \begin{array}{l} \mathbf{if}\;y \le -9.256433330744623459305053345343833502321 \cdot 10^{202}:\\ \;\;\;\;\frac{\frac{x}{y - z}}{t - z}\\ \mathbf{elif}\;y \le 2.539024418620928964612544620557800285401 \cdot 10^{-223}:\\ \;\;\;\;\frac{\frac{x}{t - z}}{y - z}\\ \mathbf{else}:\\ \;\;\;\;\frac{\frac{x}{y - z}}{t - z}\\ \end{array}\]

Reproduce

herbie shell --seed 2019173 +o rules:numerics
(FPCore (x y z t)
  :name "Data.Random.Distribution.Triangular:triangularCDF from random-fu-0.2.6.2, B"

  :herbie-target
  (if (< (/ x (* (- y z) (- t z))) 0.0) (/ (/ x (- y z)) (- t z)) (* x (/ 1.0 (* (- y z) (- t z)))))

  (/ x (* (- y z) (- t z))))

Error

Try it out

Target

Derivation

`if y < -9.256433330744623e+202 or 2.539024418620929e-223 < y`

`if -9.256433330744623e+202 < y < 2.539024418620929e-223`

Reproduce

In
Out