Average Error: 5.3 → 5.3
Time: 34.0s
Precision: 64
Internal Precision: 384
\[x \cdot \left(1.0 + y \cdot y\right)\]
↓
\[x \cdot \left(1.0 + y \cdot y\right)\]

Error

Bits error versus x

Bits error versus y

Target

Original5.3
Target0.1
Herbie5.3
\[x + \left(x \cdot y\right) \cdot y\]

Derivation

  1. Initial program 5.3

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

Runtime

Time bar (total: 34.0s)Debug log

herbie shell --seed '#(1567391828 2030694642 2833800258 828025724 3004380912 3532991858)' +o setup:early-exit
(FPCore (x y)
  :name "Numeric.Integration.TanhSinh:everywhere from integration-0.2.1"

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

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