(- (* (- bx ax) (- cy ay)) (* (- by ay) (- cx ax)))

Average Error: 8.1 → 8.1

Time: 2.2s

Precision: binary64

Math

\[\left(bx - ax\right) \cdot \left(cy - ay\right) - \left(by - ay\right) \cdot \left(cx - ax\right)\]

↓

\[\left(bx - ax\right) \cdot \left(cy - ay\right) - \left(by - ay\right) \cdot \left(cx - ax\right)\]

C

double code(double bx, double ax, double cy, double ay, double by, double cx) {
	return ((double) (((double) (((double) (bx - ax)) * ((double) (cy - ay)))) - ((double) (((double) (by - ay)) * ((double) (cx - ax))))));
}

↓

double code(double bx, double ax, double cy, double ay, double by, double cx) {
	return ((double) (((double) (((double) (bx - ax)) * ((double) (cy - ay)))) - ((double) (((double) (by - ay)) * ((double) (cx - ax))))));
}

Error

Bits error versus bx

Bits error versus ax

Bits error versus cy

Bits error versus ay

Bits error versus by

Bits error versus cx

Derivation

1. Initial program 8.1

   \[\left(bx - ax\right) \cdot \left(cy - ay\right) - \left(by - ay\right) \cdot \left(cx - ax\right)\]

2. Final simplification 8.1

   \[\leadsto \left(bx - ax\right) \cdot \left(cy - ay\right) - \left(by - ay\right) \cdot \left(cx - ax\right)\]

Reproduce

herbie shell --seed 2020153 
(FPCore (bx ax cy ay by cx)
  :name "(- (* (- bx ax) (- cy ay)) (* (- by ay) (- cx ax)))"
  :precision binary64
  (- (* (- bx ax) (- cy ay)) (* (- by ay) (- cx ax))))