Exception for (+ (sqrt (/ x 2)) (sqrt (- x)))

Math

\[\sqrt{\frac{x}{2}} + \sqrt{-x}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (x)
  :name "(+ (sqrt (/ x 2)) (sqrt (- x)))"
  :precision binary64
  (+ (sqrt (/ x 2.0)) (sqrt (neg x))))