Average Error: 0.0 → 0.0
Time: 22.0s
Precision: 64
Internal precision: 128
\[\frac{x \cdot y}{2.0} - \frac{z}{8.0}\]
⬇
\[\frac{x \cdot y}{2.0} - \frac{z}{8.0}\]

Error

Bits error versus x

Bits error versus y

Bits error versus z

Target

Original0.0
Comparison0.0
Herbie0.0
\[ \frac{x \cdot y}{2.0} - \frac{z}{8.0} \]

Derivation

  1. Initial program 0.0

    \[\frac{x \cdot y}{2.0} - \frac{z}{8.0}\]
  2. Removed slow pow expressions

Runtime

Time bar (total: 22.0s) Debug log

Please include this information when filing a bug report:

herbie --seed '#(2579909921 116774573 436420125 3665353798 2503052520 3420090935)'
(FPCore (x y z)
  :name "Diagrams.Solve.Polynomial:quartForm  from diagrams-solve-0.1, D"

  :target
  (- (/ (* x y) 2.0) (/ z 8.0))

  (- (/ (* x y) 2.0) (/ z 8.0)))