Average Error: 0.2 → 0.2
Time: 36.0s
Precision: 64
Internal precision: 128
\[\frac{x}{1.0 + \sqrt{x + 1.0}}\]
⬇
\[\frac{x}{1.0 + \sqrt{x + 1.0}}\]

Error

Bits error versus x

Target

Original0.2
Comparison0.2
Herbie0.2
\[ \frac{x}{1.0 + \sqrt{x + 1.0}} \]

Derivation

  1. Initial program 0.2

    \[\frac{x}{1.0 + \sqrt{x + 1.0}}\]
  2. Removed slow pow expressions

Runtime

Time bar (total: 36.0s) Debug log

Please include this information when filing a bug report:

herbie --seed '#(3809312275 3920781847 3970858507 902580730 3365078183 1300519676)'
(FPCore (x)
  :name "Numeric.Log:$clog1p from log-domain-0.10.2.1, B"

  :target
  (/ x (+ 1.0 (sqrt (+ x 1.0))))

  (/ x (+ 1.0 (sqrt (+ x 1.0)))))