Average Error: 0.2 → 0.2

Time: 1.9s

Precision: binary64

\[\]

↓

\[\]

↓

double code(double x) {
	return ((double) (((double) (x * x)) * ((double) (3.0 - ((double) (x * 2.0))))));
}

↓

double code(double x) {
	return ((double) (x * ((double) (x * ((double) (3.0 - ((double) (x * 2.0))))))));
}

Error

The X axis uses an exponential scale — Bits error versus `x`

Try it out

In
Out

Enter valid numbers for all inputs

Target

Original	0.2
Target	0.2
Herbie	0.2

\[\]

Derivation

Initial program 0.2
\[\]
Simplified0.2
\[\leadsto \]
Final simplification0.2
\[\leadsto \]

Reproduce

herbie shell --seed 2020191 
(FPCore (x)
  :name "Data.Spline.Key:interpolateKeys from smoothie-0.4.0.2"
  :precision binary64

  :herbie-target
  (* x (* x (- 3.0 (* x 2.0))))

  (* (* x x) (- 3.0 (* x 2.0))))