Average Error: 0.0 → 0.0
Time: 853.0ms
Precision: binary64
\[\frac{y1 - y0}{x1 - x0}\]
↓
\[\frac{y1 - y0}{x1 - x0}\]
\frac{y1 - y0}{x1 - x0}
↓
\frac{y1 - y0}{x1 - x0}
double code(double y1, double y0, double x1, double x0) {
	return ((double) (((double) (y1 - y0)) / ((double) (x1 - x0))));
}
↓
double code(double y1, double y0, double x1, double x0) {
	return ((double) (((double) (y1 - y0)) / ((double) (x1 - x0))));
}

Error

Bits error versus y1

Bits error versus y0

Bits error versus x1

Bits error versus x0

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[\frac{y1 - y0}{x1 - x0}\]

  2. Final simplification0.0

    \[\leadsto \frac{y1 - y0}{x1 - x0}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (y1 y0 x1 x0)
  :name "(/ (- y1 y0) (- x1 x0))"
  :precision binary64
  (/ (- y1 y0) (- x1 x0)))