Average Error: 4.7 → 4.7
Time: 963.0ms
Precision: binary64
\[\frac{\frac{f1}{f2} - 1}{x2 - x1}\]
↓
\[\frac{\frac{f1}{f2} - 1}{x2 - x1}\]
\frac{\frac{f1}{f2} - 1}{x2 - x1}
↓
\frac{\frac{f1}{f2} - 1}{x2 - x1}
double code(double f1, double f2, double x2, double x1) {
	return ((double) (((double) (((double) (f1 / f2)) - 1.0)) / ((double) (x2 - x1))));
}
↓
double code(double f1, double f2, double x2, double x1) {
	return ((double) (((double) (((double) (f1 / f2)) - 1.0)) / ((double) (x2 - x1))));
}

Error

Bits error versus f1

Bits error versus f2

Bits error versus x2

Bits error versus x1

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 4.7

    \[\frac{\frac{f1}{f2} - 1}{x2 - x1}\]

  2. Final simplification4.7

    \[\leadsto \frac{\frac{f1}{f2} - 1}{x2 - x1}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (f1 f2 x2 x1)
  :name "(/ (- (/ f1 f2) 1) (- x2 x1))"
  :precision binary64
  (/ (- (/ f1 f2) 1.0) (- x2 x1)))