Average Error: 0.0 → 0.0
Time: 936.0ms
Precision: binary64
\[begin + \left(end - begin\right) \cdot t\]
↓
\[begin + \left(end - begin\right) \cdot t\]
begin + \left(end - begin\right) \cdot t
↓
begin + \left(end - begin\right) \cdot t
double code(double begin, double end, double t) {
	return ((double) (begin + ((double) (((double) (end - begin)) * t))));
}
↓
double code(double begin, double end, double t) {
	return ((double) (begin + ((double) (((double) (end - begin)) * t))));
}

Error

Bits error versus begin

Bits error versus end

Bits error versus t

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[begin + \left(end - begin\right) \cdot t\]

  2. Final simplification0.0

    \[\leadsto begin + \left(end - begin\right) \cdot t\]

Reproduce

herbie shell --seed 2020152 
(FPCore (begin end t)
  :name "(+ begin (* (- end begin) t))"
  :precision binary64
  (+ begin (* (- end begin) t)))