Exception for (/ (sqrt (* (+ (+ a b) c) (* (+ (+ (- a) b) c) (* (+ (- a b) c) (- (+ a b) c))))) 4.0)

Math

\[\frac{\sqrt{\left(\left(a + b\right) + c\right) \cdot \left(\left(\left(\left(-a\right) + b\right) + c\right) \cdot \left(\left(\left(a - b\right) + c\right) \cdot \left(\left(a + b\right) - c\right)\right)\right)}}{4}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (a b c)
  :name "(/ (sqrt (* (+ (+ a b) c) (* (+ (+ (- a) b) c) (* (+ (- a b) c) (- (+ a b) c))))) 4.0)"
  :precision binary64
  (/ (sqrt (* (+ (+ a b) c) (* (+ (+ (neg a) b) c) (* (+ (- a b) c) (- (+ a b) c))))) 4.0))