(- (* (- c a) (- f b)) (* (- d b) (- e a)))

Average Error: 8.1 → 8.1

Time: 2.2s

Precision: binary64

Math

\[\left(c - a\right) \cdot \left(f - b\right) - \left(d - b\right) \cdot \left(e - a\right)\]

↓

\[\left(c - a\right) \cdot \left(f - b\right) - \left(d - b\right) \cdot \left(e - a\right)\]

C

double code(double c, double a, double f, double b, double d, double e) {
	return ((double) (((double) (((double) (c - a)) * ((double) (f - b)))) - ((double) (((double) (d - b)) * ((double) (e - a))))));
}

↓

double code(double c, double a, double f, double b, double d, double e) {
	return ((double) (((double) (((double) (c - a)) * ((double) (f - b)))) - ((double) (((double) (d - b)) * ((double) (e - a))))));
}

Error

Bits error versus c

Bits error versus a

Bits error versus f

Bits error versus b

Bits error versus d

Bits error versus e

Derivation

1. Initial program 8.1

   \[\left(c - a\right) \cdot \left(f - b\right) - \left(d - b\right) \cdot \left(e - a\right)\]

2. Final simplification 8.1

   \[\leadsto \left(c - a\right) \cdot \left(f - b\right) - \left(d - b\right) \cdot \left(e - a\right)\]

Reproduce

herbie shell --seed 2020153 
(FPCore (c a f b d e)
  :name "(- (* (- c a) (- f b)) (* (- d b) (- e a)))"
  :precision binary64
  (- (* (- c a) (- f b)) (* (- d b) (- e a))))