Average Error: 0.0 → 0.0
Time: 623.0ms
Precision: binary64
\[\frac{\ell + 16}{116} - \frac{b}{200}\]
↓
\[\frac{\ell + 16}{116} - \frac{b}{200}\]
\frac{\ell + 16}{116} - \frac{b}{200}
↓
\frac{\ell + 16}{116} - \frac{b}{200}
double code(double l, double b) {
	return ((double) (((double) (((double) (l + 16.0)) / 116.0)) - ((double) (b / 200.0))));
}
↓
double code(double l, double b) {
	return ((double) (((double) (((double) (l + 16.0)) / 116.0)) - ((double) (b / 200.0))));
}

Error

Bits error versus l

Bits error versus b

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[\frac{\ell + 16}{116} - \frac{b}{200}\]

  2. Final simplification0.0

    \[\leadsto \frac{\ell + 16}{116} - \frac{b}{200}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (l b)
  :name "(- (/ (+ l 16) 116) (/ b 200))"
  :precision binary64
  (- (/ (+ l 16.0) 116.0) (/ b 200.0)))