Average Error: 29.2 → 29.2
Time: 1.5m
Precision: 64
Internal Precision: 1408
\[\frac{x}{x + 1} - \frac{x + 1}{x - 1}\]
↓
\[\frac{x}{x + 1} - \left(x + 1\right) \cdot \frac{1}{x - 1}\]

Error

Bits error versus x

Derivation

  1. Initial program 29.2

    \[\frac{x}{x + 1} - \frac{x + 1}{x - 1}\]
  2. Using strategy rm

  3. Applied div-inv29.2

    \[\leadsto \frac{x}{x + 1} - \color{blue}{\left(x + 1\right) \cdot \frac{1}{x - 1}}\]

Runtime

Time bar (total: 1.5m)Debug logProfile

herbie shell --seed '#(1064397287 3527694221 3797617954 1138343853 2854031332 1153838279)' +o rules:numerics
(FPCore (x)
  :name "Asymptote C"
  (- (/ x (+ x 1)) (/ (+ x 1) (- x 1))))