Average Error: 0.1 → 0.1
Time: 1.0m
Precision: 64
Internal Precision: 1408
\[\left(-12 \cdot x1 - 7 \cdot x2\right) + x2 \cdot x2\]
↓
\[\left(-12 \cdot x1 - 7 \cdot x2\right) + x2 \cdot x2\]

Error

Bits error versus x1

Bits error versus x2

Derivation

  1. Initial program 0.1

    \[\left(-12 \cdot x1 - 7 \cdot x2\right) + x2 \cdot x2\]

Runtime

Time bar (total: 1.0m)Debug log

herbie shell --seed '#(1743936871 1855164119 3668777427 1254258049 132811564 1366975197)' 
(FPCore (x1 x2)
  :name "floudas3"
  :pre (and (<= 0 x1 2) (<= 0 x2 3) (>= (+ (* -2 (* (* x1 x1) (* x1 x1))) 2) x2))
  (+ (- (* -12 x1) (* 7 x2)) (* x2 x2)))