Average Error: 0.0 → 0.0
Time: 783.0ms
Precision: binary64
\[\frac{1}{e1 + \ell} + \frac{1}{e2 + \ell}\]
↓
\[\frac{1}{e1 + \ell} + \frac{1}{e2 + \ell}\]
\frac{1}{e1 + \ell} + \frac{1}{e2 + \ell}
↓
\frac{1}{e1 + \ell} + \frac{1}{e2 + \ell}
double code(double e1, double l, double e2) {
	return ((double) (((double) (1.0 / ((double) (e1 + l)))) + ((double) (1.0 / ((double) (e2 + l))))));
}
↓
double code(double e1, double l, double e2) {
	return ((double) (((double) (1.0 / ((double) (e1 + l)))) + ((double) (1.0 / ((double) (e2 + l))))));
}

Error

Bits error versus e1

Bits error versus l

Bits error versus e2

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[\frac{1}{e1 + \ell} + \frac{1}{e2 + \ell}\]

  2. Final simplification0.0

    \[\leadsto \frac{1}{e1 + \ell} + \frac{1}{e2 + \ell}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (e1 l e2)
  :name "(+ (/ 1 (+ e1 l)) (/ 1 (+ e2 l)))"
  :precision binary64
  (+ (/ 1.0 (+ e1 l)) (/ 1.0 (+ e2 l))))