Average Error: 0 → 0
Time: 477.0ms
Precision: binary64
\[ax + ab\]
↓
\[ax + ab\]
ax + ab
↓
ax + ab
double code(double ax, double ab) {
	return ((double) (ax + ab));
}
↓
double code(double ax, double ab) {
	return ((double) (ax + ab));
}

Error

Bits error versus ax

Bits error versus ab

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0

    \[ax + ab\]

  2. Final simplification0

    \[\leadsto ax + ab\]

Reproduce

herbie shell --seed 2020153 
(FPCore (ax ab)
  :name "(+ ax ab)"
  :precision binary64
  (+ ax ab))