Average Error: 0 → 0
Time: 1.5m
Precision: 64
Internal Precision: 384
\[\left(-x1\right) - x2\]
↓
\[\left(-x1\right) - x2\]

Error

Bits error versus x1

Bits error versus x2

Derivation

  1. Initial program 0

    \[\left(-x1\right) - x2\]

Runtime

Time bar (total: 1.5m)Debug log

herbie shell --seed '#(1743936871 1855164119 3668777427 1254258049 132811564 1366975197)' 
(FPCore (x1 x2)
  :name "floudas2"
  :pre (and (<= 0 x1 3) (<= 0 x2 4) (>= (- (+ (- (* 2 (* (* x1 x1) (* x1 x1))) (* (* 8 (* x1 x1)) x1)) (* (* 8 x1) x1)) x2) 0) (>= (- (+ (- (+ (- (* 4 (* (* x1 x1) (* x1 x1))) (* (* 32 (* x1 x1)) x1)) (* (* 88 x1) x1)) (* 96 x1)) 36) x2) 0))
  (- (- x1) x2))