\[\frac{x - y}{1 - y}\]

↓

\[\frac{x - y}{1 - y}\]

\frac{x - y}{1 - y}

↓

\frac{x - y}{1 - y}

double f(double x, double y) {
        double r188166 = x;
        double r188167 = y;
        double r188168 = r188166 - r188167;
        double r188169 = 1.0;
        double r188170 = r188169 - r188167;
        double r188171 = r188168 / r188170;
        return r188171;
}

↓

double f(double x, double y) {
        double r188172 = x;
        double r188173 = y;
        double r188174 = r188172 - r188173;
        double r188175 = 1.0;
        double r188176 = r188175 - r188173;
        double r188177 = r188174 / r188176;
        return r188177;
}

Try it out

In
Out

Enter valid numbers for all inputs

Derivation

Initial program 0.0
\[\frac{x - y}{1 - y}\]
Final simplification0.0
\[\leadsto \frac{x - y}{1 - y}\]

Reproduce

herbie shell --seed 2020045 
(FPCore (x y)
  :name "Diagrams.Trail:splitAtParam  from diagrams-lib-1.3.0.3, C"
  :precision binary64
  (/ (- x y) (- 1 y)))

Falling back on racket egraph because egg-herbie package not installed (more)

Error

Try it out

Derivation

Reproduce