Average Error: 0.0 → 0.0
Time: 4.0s
Precision: 64
Internal Precision: 384
\[\begin{array}{l} \mathbf{if}\;x \cdot x - x \ge 0:\\ \;\;\;\;\frac{x}{10}\\ \mathbf{else}:\\ \;\;\;\;x \cdot x + 2\\ \end{array}\]
↓
\[\begin{array}{l} \mathbf{if}\;x \cdot x - x \ge 0:\\ \;\;\;\;\frac{x}{10}\\ \mathbf{else}:\\ \;\;\;\;x \cdot x + 2\\ \end{array}\]

Error

Bits error versus x

Derivation

  1. Initial program 0.0

    \[\begin{array}{l} \mathbf{if}\;x \cdot x - x \ge 0:\\ \;\;\;\;\frac{x}{10}\\ \mathbf{else}:\\ \;\;\;\;x \cdot x + 2\\ \end{array}\]

Runtime

Time bar (total: 4.0s)Debug log

herbie shell --seed '#(1743936871 1855164119 3668777427 1254258049 132811564 1366975197)' 
(FPCore (x)
  :name "cav10"
  :pre (< 0 x 10)
  (if (>= (- (* x x) x) 0) (/ x 10) (+ (* x x) 2)))