Average Error: 0.0 → 0.0
Time: 986.0ms
Precision: binary64
\[base + count \cdot interval\]
↓
\[base + count \cdot interval\]
base + count \cdot interval
↓
base + count \cdot interval
double code(double base, double count, double interval) {
	return ((double) (base + ((double) (count * interval))));
}
↓
double code(double base, double count, double interval) {
	return ((double) (base + ((double) (count * interval))));
}

Error

Bits error versus base

Bits error versus count

Bits error versus interval

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[base + count \cdot interval\]

  2. Final simplification0.0

    \[\leadsto base + count \cdot interval\]

Reproduce

herbie shell --seed 2020153 
(FPCore (base count interval)
  :name "(+ base (* count interval))"
  :precision binary64
  (+ base (* count interval)))