(+ (sqrt (pow x 2)) (sqrt (- x)))

Average Error: 16.0 → 16.0

Time: 1.4s

Precision: binary64

Math

\[\sqrt{{x}^{2}} + \sqrt{-x}\]

↓

\[\sqrt{{x}^{2}} + \sqrt{-x}\]

Error

Bits error versus x

Derivation

1. Initial program 16.0

   \[\sqrt{{x}^{2}} + \sqrt{-x}\]

2. Final simplification 16.0

   \[\leadsto \sqrt{{x}^{2}} + \sqrt{-x}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (x)
  :name "(+ (sqrt (pow x 2)) (sqrt (- x)))"
  :precision binary64
  (+ (sqrt (pow x 2.0)) (sqrt (neg x))))