Average Error: 0.0 → 0.0
Time: 729.0ms
Precision: binary64
\[val \cdot minstep + minval\]
↓
\[val \cdot minstep + minval\]
val \cdot minstep + minval
↓
val \cdot minstep + minval
double code(double val, double minstep, double minval) {
	return ((double) (((double) (val * minstep)) + minval));
}
↓
double code(double val, double minstep, double minval) {
	return ((double) (((double) (val * minstep)) + minval));
}

Error

Bits error versus val

Bits error versus minstep

Bits error versus minval

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[val \cdot minstep + minval\]

  2. Final simplification0.0

    \[\leadsto val \cdot minstep + minval\]

Reproduce

herbie shell --seed 2020153 
(FPCore (val minstep minval)
  :name "(+ (* val minstep) minval)"
  :precision binary64
  (+ (* val minstep) minval))