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

Math

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

Reproduce

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