Average Error: 0.0 → 0.0
Time: 16.3s
Precision: 64
Internal precision: 128
\[\left(x + 1.0\right) \cdot y - x\]
⬇
\[\left(x + 1.0\right) \cdot y - x\]

Error

Bits error versus x

Bits error versus y

Target

Original0.0
Comparison0.0
Herbie0.0
\[ \left(x + 1.0\right) \cdot y - x \]

Derivation

  1. Initial program 0.0

    \[\left(x + 1.0\right) \cdot y - x\]
  2. Removed slow pow expressions

Runtime

Time bar (total: 16.3s) Debug log

Please include this information when filing a bug report:

herbie --seed '#(3976151476 1441867812 4238016113 817417587 2270072605 2840662225)'
(FPCore (x y)
  :name "Data.Colour.SRGB:transferFunction from colour-2.3.3"

  :target
  (- (* (+ x 1.0) y) x)

  (- (* (+ x 1.0) y) x))