(- (- (* (- x2 x1) (- y3 y2)) (* (- y2 y1) (- x3 x2))) (- timeout))

Average Error: 6.5 → 6.5

Time: 3.4s

Precision: binary64

Math

\[\left(\left(x2 - x1\right) \cdot \left(y3 - y2\right) - \left(y2 - y1\right) \cdot \left(x3 - x2\right)\right) - \left(-timeout\right)\]

↓

\[\left(\left(x2 - x1\right) \cdot \left(y3 - y2\right) - \left(y2 - y1\right) \cdot \left(x3 - x2\right)\right) - \left(-timeout\right)\]

Error

Bits error versus x2

Bits error versus x1

Bits error versus y3

Bits error versus y2

Bits error versus y1

Bits error versus x3

Bits error versus timeout

Derivation

1. Initial program 6.5

   \[\left(\left(x2 - x1\right) \cdot \left(y3 - y2\right) - \left(y2 - y1\right) \cdot \left(x3 - x2\right)\right) - \left(-timeout\right)\]

2. Final simplification 6.5

   \[\leadsto \left(\left(x2 - x1\right) \cdot \left(y3 - y2\right) - \left(y2 - y1\right) \cdot \left(x3 - x2\right)\right) - \left(-timeout\right)\]

Reproduce

herbie shell --seed 2020152 
(FPCore (x2 x1 y3 y2 y1 x3 timeout)
  :name "(- (- (* (- x2 x1) (- y3 y2)) (* (- y2 y1) (- x3 x2))) (- timeout))"
  :precision binary64
  (- (- (* (- x2 x1) (- y3 y2)) (* (- y2 y1) (- x3 x2))) (neg timeout)))