(- (- x3 (* 3 (- x2 x1))) x0)

Average Error: 0.1 → 0.1

Time: 970.0ms

Precision: binary64

Math

\[\left(x3 - 3 \cdot \left(x2 - x1\right)\right) - x0\]

↓

\[\left(x3 - 3 \cdot \left(x2 - x1\right)\right) - x0\]

C

double code(double x3, double x2, double x1, double x0) {
	return ((double) (((double) (x3 - ((double) (3.0 * ((double) (x2 - x1)))))) - x0));
}

↓

double code(double x3, double x2, double x1, double x0) {
	return ((double) (((double) (x3 - ((double) (3.0 * ((double) (x2 - x1)))))) - x0));
}

Error

Bits error versus x3

Bits error versus x2

Bits error versus x1

Bits error versus x0

Derivation

1. Initial program 0.1

   \[\left(x3 - 3 \cdot \left(x2 - x1\right)\right) - x0\]

2. Final simplification 0.1

   \[\leadsto \left(x3 - 3 \cdot \left(x2 - x1\right)\right) - x0\]

Reproduce

herbie shell --seed 2020153 
(FPCore (x3 x2 x1 x0)
  :name "(- (- x3 (* 3 (- x2 x1))) x0)"
  :precision binary64
  (- (- x3 (* 3.0 (- x2 x1))) x0))