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

Average Error: 6.6 → 6.6

Time: 3.5s

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) \cdot 120\]

↓

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

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.6

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

2. Final simplification 6.6

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

Reproduce

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