?

Average Accuracy: 100.0% → 100.0%
Time: 1.1s
Precision: binary64
Cost: 448

?

\[\mathsf{/.f64}\left(\mathsf{+.f64}\left(x, 1\right), \mathsf{\_.f64}\left(1, x\right)\right) \]
↓
\[\mathsf{/.f64}\left(\mathsf{+.f64}\left(x, 1\right), \mathsf{\_.f64}\left(1, x\right)\right) \]
(FPCore (x) :precision binary64 (/.f64 (+.f64 x 1) (-.f64 1 x)))
↓
(FPCore (x) :precision binary64 (/.f64 (+.f64 x 1) (-.f64 1 x)))
\mathsf{/.f64}\left(\mathsf{+.f64}\left(x, 1\right), \mathsf{\_.f64}\left(1, x\right)\right)
↓
\mathsf{/.f64}\left(\mathsf{+.f64}\left(x, 1\right), \mathsf{\_.f64}\left(1, x\right)\right)

Error?

Derivation?

  1. Initial program 100.0%

    \[\mathsf{/.f64}\left(\mathsf{+.f64}\left(x, 1\right), \mathsf{\_.f64}\left(1, x\right)\right) \]

  2. Final simplification100.0%

    \[\leadsto \mathsf{/.f64}\left(\mathsf{+.f64}\left(x, 1\right), \mathsf{\_.f64}\left(1, x\right)\right) \]

Reproduce?

herbie shell --seed 2023144 
(FPCore (x)
  :name "Prelude:atanh from fay-base-0.20.0.1"
  :precision binary64
  (/ (+ x 1.0) (- 1.0 x)))