Average Error: 0.0 → 0.0
Time: 16.0s
Precision: 64
Internal precision: 128
\[\log \left(\frac{1}{x} + \frac{\sqrt{1 - {x}^2}}{x}\right)\]
⬇
\[\log \left(\frac{1}{x} + \frac{\sqrt{1 - {x}^2}}{x}\right)\]

Error

Bits error versus x

Derivation

  1. Initial program 0.0

    \[\log \left(\frac{1}{x} + \frac{\sqrt{1 - {x}^2}}{x}\right)\]
  2. Removed slow pow expressions

Runtime

Time bar (total: 16.0s) Debug log

Please include this information when filing a bug report:

herbie --seed '#(1455683182 1573960327 1780364252 3943024054 2447018223 3432938817)'
(FPCore (x)
  :name "Hyperbolic arc-(co)secant"
  (log (+ (/ 1 x) (/ (sqrt (- 1 (sqr x))) x))))