Average Error: 0.0 → 0.0
Time: 18.5s
Precision: 64
Internal Precision: 384
\[{x}^{4} - {y}^{4}\]
↓
\[{x}^{4} - {y}^{4}\]

Error

Bits error versus x

Bits error versus y

Derivation

  1. Initial program 0.0

    \[{x}^{4} - {y}^{4}\]
  2. Removed slow pow expressions.

Runtime

Time bar (total: 18.5s)Debug log

herbie shell --seed '#(1889797285 268396849 4100589100 2067516092 3019009300 3748763710)' +o rules:numerics
(FPCore (x y)
  :name "Radioactive exchange between two surfaces"
  (- (pow x 4) (pow y 4)))