Exception for x

\[x = 0 \lor x = 10\]

Math

\[x\]

FPCore

(FPCore (x) :precision binary64 x)

C

double code(double x) {
	return x;
}

Reproduce

herbie shell --seed 2020199 
(FPCore (x)
  :name "x"
  :precision binary64
  :pre (or (== x 0.0) (== x 10.0))
  x)