Average Error: 0 → 0

Time: 460.0ms

Precision: binary64

Cost: 64

\[1000000 \cdot \left(x - x\right)\]

↓

\[0\]

1000000 \cdot \left(x - x\right)

↓

(FPCore (x) :precision binary64 (* 1000000.0 (- x x)))

↓

(FPCore (x) :precision binary64 0.0)

double code(double x) {
	return 1000000.0 * (x - x);
}

↓

double code(double x) {
	return 0.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
Target	0
Herbie	0

\[0\]

Alternatives

Alternative 1
Error	62.0
Cost	64

\[1\]

Error

Derivation

Initial program 0
\[0\]
Final simplification0
\[\leadsto 0\]

Reproduce

herbie shell --seed 2021044 
(FPCore (x)
  :name "Development.Shake.Profile:generateTrace from shake-0.15.5"
  :precision binary64

  :herbie-target
  0.0

  (* 1000000.0 (- x x)))