Average Error: 0.0 → 0.0

Time: 14.9s

Precision: 64

Internal Precision: 128

\[\frac{2}{e^{x} + e^{-x}}\]

↓

\[\frac{2}{e^{x} + e^{-x}}\]

Error

The X axis uses an exponential scale — Bits error versus x

The X axis uses an exponential scale — Bits error versus x

Derivation

Initial program 0.0
\[\frac{2}{e^{x} + e^{-x}}\]
Final simplification0.0
\[\leadsto \frac{2}{e^{x} + e^{-x}}\]

Reproduce

herbie shell --seed 2019053 +o rules:numerics
(FPCore (x)
  :name "Hyperbolic secant"
  (/ 2 (+ (exp x) (exp (- x)))))