Cannot sample enough valid points. (more)

\[5 \leq a \land a \leq 10 \land 0 \leq b \land b \leq 0.001\]
\[\]

Reproduce

herbie shell --seed 2020349 
(FPCore (a b)
  :name "Expression 4, p15"
  :precision binary64
  :pre (and (<= 5.0 a 10.0) (<= 0.0 b 0.001))

  :herbie-target
  (+ (+ (+ (* b a) (* b b)) (* b a)) (* a a))

  (* (+ a b) (+ a b)))