(- r_p (/ (- r_p r_c) N))

Average Error: 0.0 → 0.0

Time: 804.0ms

Precision: binary64

Math

\[r_p - \frac{r_p - r_c}{N}\]

↓

\[r_p - \frac{r_p - r_c}{N}\]

C

double code(double r_p, double r_c, double N) {
	return ((double) (r_p - ((double) (((double) (r_p - r_c)) / N))));
}

↓

double code(double r_p, double r_c, double N) {
	return ((double) (r_p - ((double) (((double) (r_p - r_c)) / N))));
}

Error

Bits error versus r_p

Bits error versus r_c

Bits error versus N

Derivation

1. Initial program 0.0

   \[r_p - \frac{r_p - r_c}{N}\]

2. Final simplification 0.0

   \[\leadsto r_p - \frac{r_p - r_c}{N}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (r_p r_c N)
  :name "(- r_p (/ (- r_p r_c) N))"
  :precision binary64
  (- r_p (/ (- r_p r_c) N)))