Average Error: 0 → 0
Time: 23.8s
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\]
  2. Removed slow pow expressions

Runtime

Time bar (total: 23.8s) Debug log

Please include this information when filing a bug report:

herbie shell --seed '#(3052192724 3812927732 3686175817 630908657 2373248591 511094450)'
(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))