Exception for Area of a triangle

\[0 < a \land a < b + c \land 0 < b \land b < a + c \land 0 < c \land c < a + b\]

Math

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

FPCore

(FPCore (a b c)
 :precision binary64
 (sqrt
  (*
   (*
    (* (/ (+ (+ a b) c) 2.0) (- (/ (+ (+ a b) c) 2.0) a))
    (- (/ (+ (+ a b) c) 2.0) b))
   (- (/ (+ (+ a b) c) 2.0) c))))

C

double code(double a, double b, double c) {
	return sqrt((((((a + b) + c) / 2.0) * ((((a + b) + c) / 2.0) - a)) * ((((a + b) + c) / 2.0) - b)) * ((((a + b) + c) / 2.0) - c));
}