Average Error: 0.0 → 0.0
Time: 5.7s
Precision: binary64
Cost: 960
\[\frac{x - y}{2 - \left(x + y\right)}\]
↓
\[\frac{x}{2 - \left(x + y\right)} - \frac{y}{2 - \left(x + y\right)}\]
\frac{x - y}{2 - \left(x + y\right)}
↓
\frac{x}{2 - \left(x + y\right)} - \frac{y}{2 - \left(x + y\right)}
(FPCore (x y) :precision binary64 (/ (- x y) (- 2.0 (+ x y))))
↓
(FPCore (x y)
 :precision binary64
 (- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y)))))
double code(double x, double y) {
	return (x - y) / (2.0 - (x + y));
}
↓
double code(double x, double y) {
	return (x / (2.0 - (x + y))) - (y / (2.0 - (x + y)));
}

Error

Bits error versus x

Bits error versus y

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Target

Original0.0
Target0.0
Herbie0.0
\[\frac{x}{2 - \left(x + y\right)} - \frac{y}{2 - \left(x + y\right)}\]

Alternatives

Alternative 1
Error0.0
Cost576
\[\frac{x - y}{2 - \left(x + y\right)}\]
Alternative 2
Error9.7
Cost1668
\[\begin{array}{l} \mathbf{if}\;x \leq -1.865170802071591 \cdot 10^{+19}:\\ \;\;\;\;-1\\ \mathbf{elif}\;x \leq 23.91208970233615:\\ \;\;\;\;\frac{x - y}{2 - y}\\ \mathbf{elif}\;x \leq 1.0248782980155822 \cdot 10^{+38}:\\ \;\;\;\;\frac{x}{2 - x}\\ \mathbf{elif}\;x \leq 6.106868182373121 \cdot 10^{+111}:\\ \;\;\;\;-\frac{y}{2 - y}\\ \mathbf{else}:\\ \;\;\;\;-1\\ \end{array}\]
Alternative 3
Error17.7
Cost1668
\[\begin{array}{l} \mathbf{if}\;x \leq -6.097443044253342 \cdot 10^{+20}:\\ \;\;\;\;-1\\ \mathbf{elif}\;x \leq 1.6089247377670696 \cdot 10^{-60}:\\ \;\;\;\;-\frac{y}{2 - y}\\ \mathbf{elif}\;x \leq 2.7929760088083384 \cdot 10^{+37}:\\ \;\;\;\;\frac{x}{2 - x}\\ \mathbf{elif}\;x \leq 6.106868182373121 \cdot 10^{+111}:\\ \;\;\;\;-\frac{y}{2 - y}\\ \mathbf{else}:\\ \;\;\;\;-1\\ \end{array}\]
Alternative 4
Error15.4
Cost962
\[\begin{array}{l} \mathbf{if}\;y \leq -6761793997916965:\\ \;\;\;\;1\\ \mathbf{elif}\;y \leq 5.4721065798649715 \cdot 10^{+17}:\\ \;\;\;\;\frac{x}{2 - x}\\ \mathbf{else}:\\ \;\;\;\;1\\ \end{array}\]
Alternative 5
Error25.0
Cost706
\[\begin{array}{l} \mathbf{if}\;x \leq -2.905893372197331 \cdot 10^{+22}:\\ \;\;\;\;-1\\ \mathbf{elif}\;x \leq 6.547686696638525 \cdot 10^{+111}:\\ \;\;\;\;1\\ \mathbf{else}:\\ \;\;\;\;-1\\ \end{array}\]
Alternative 6
Error38.9
Cost64
\[1\]

Error

Derivation

  1. Initial program 0.0

    \[\frac{x - y}{2 - \left(x + y\right)}\]
  2. Using strategy rm

  3. Applied div-sub_binary64_232710.0

    \[\leadsto \color{blue}{\frac{x}{2 - \left(x + y\right)} - \frac{y}{2 - \left(x + y\right)}}\]

  4. Simplified0.0

    \[\leadsto \color{blue}{\frac{x}{2 - \left(x + y\right)} - \frac{y}{2 - \left(x + y\right)}}\]

  5. Final simplification0.0

    \[\leadsto \frac{x}{2 - \left(x + y\right)} - \frac{y}{2 - \left(x + y\right)}\]

Reproduce

herbie shell --seed 2021044 
(FPCore (x y)
  :name "Data.Colour.RGB:hslsv from colour-2.3.3, C"
  :precision binary64

  :herbie-target
  (- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))

  (/ (- x y) (- 2.0 (+ x y))))