Average Error: 0.0 → 0.0
Time: 708.0ms
Precision: binary64
\[\left(xx - 2 \cdot xy\right) + yy\]
↓
\[\left(xx - 2 \cdot xy\right) + yy\]
\left(xx - 2 \cdot xy\right) + yy
↓
\left(xx - 2 \cdot xy\right) + yy
double code(double xx, double xy, double yy) {
	return ((double) (((double) (xx - ((double) (2.0 * xy)))) + yy));
}
↓
double code(double xx, double xy, double yy) {
	return ((double) (((double) (xx - ((double) (2.0 * xy)))) + yy));
}

Error

Bits error versus xx

Bits error versus xy

Bits error versus yy

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[\left(xx - 2 \cdot xy\right) + yy\]

  2. Final simplification0.0

    \[\leadsto \left(xx - 2 \cdot xy\right) + yy\]

Reproduce

herbie shell --seed 2020153 
(FPCore (xx xy yy)
  :name "(+ (- xx (* 2 xy)) yy)"
  :precision binary64
  (+ (- xx (* 2.0 xy)) yy))