Average Error: 0.0 → 0.0
Time: 5.6s
Precision: 64
Internal precision: 384
\[\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: 5.6s) Debug logProfile

Please include this information when filing a bug report:

herbie shell --seed '#(1064524629 4159152179 2999149171 575749698 4006532819 692958815)'
(FPCore (x)
  :name "Hyperbolic arc-(co)secant"
  (log (+ (/ 1 x) (/ (sqrt (- 1 (sqr x))) x))))