Average Error: 8.1 → 8.1
Time: 2.2s
Precision: binary64
\[\left(p2x - p1x\right) \cdot \left(p3y - p1y\right) - \left(p2y - p1y\right) \cdot \left(p3x - p1x\right)\]
↓
\[\left(p2x - p1x\right) \cdot \left(p3y - p1y\right) - \left(p2y - p1y\right) \cdot \left(p3x - p1x\right)\]
\left(p2x - p1x\right) \cdot \left(p3y - p1y\right) - \left(p2y - p1y\right) \cdot \left(p3x - p1x\right)
↓
\left(p2x - p1x\right) \cdot \left(p3y - p1y\right) - \left(p2y - p1y\right) \cdot \left(p3x - p1x\right)
double code(double p2x, double p1x, double p3y, double p1y, double p2y, double p3x) {
	return ((double) (((double) (((double) (p2x - p1x)) * ((double) (p3y - p1y)))) - ((double) (((double) (p2y - p1y)) * ((double) (p3x - p1x))))));
}
↓
double code(double p2x, double p1x, double p3y, double p1y, double p2y, double p3x) {
	return ((double) (((double) (((double) (p2x - p1x)) * ((double) (p3y - p1y)))) - ((double) (((double) (p2y - p1y)) * ((double) (p3x - p1x))))));
}

Error

Bits error versus p2x

Bits error versus p1x

Bits error versus p3y

Bits error versus p1y

Bits error versus p2y

Bits error versus p3x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 8.1

    \[\left(p2x - p1x\right) \cdot \left(p3y - p1y\right) - \left(p2y - p1y\right) \cdot \left(p3x - p1x\right)\]

  2. Final simplification8.1

    \[\leadsto \left(p2x - p1x\right) \cdot \left(p3y - p1y\right) - \left(p2y - p1y\right) \cdot \left(p3x - p1x\right)\]

Reproduce

herbie shell --seed 2020152 
(FPCore (p2x p1x p3y p1y p2y p3x)
  :name "(- (* (- p2x p1x) (- p3y p1y)) (* (- p2y p1y) (- p3x p1x)))"
  :precision binary64
  (- (* (- p2x p1x) (- p3y p1y)) (* (- p2y p1y) (- p3x p1x))))