(/ (- 1) (+ (- t) (sqrt (+ 1 (* t t)))))

Average Error: 23.2 → 23.2

Time: 910.0ms

Precision: binary64

Math

\[\frac{-1}{\left(-t\right) + \sqrt{1 + t \cdot t}}\]

↓

\[\frac{-1}{\left(-t\right) + \sqrt{1 + t \cdot t}}\]

Error

Bits error versus t

Derivation

1. Initial program 23.2

   \[\frac{-1}{\left(-t\right) + \sqrt{1 + t \cdot t}}\]

2. Final simplification 23.2

   \[\leadsto \frac{-1}{\left(-t\right) + \sqrt{1 + t \cdot t}}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (t)
  :name "(/ (- 1) (+ (- t) (sqrt (+ 1 (* t t)))))"
  :precision binary64
  (/ (neg 1.0) (+ (neg t) (sqrt (+ 1.0 (* t t))))))