(pow b (+ (- n) 1))

Average Error: 0.2 → 0.2

Time: 2.8s

Precision: binary64

Math

\[{b}^{\left(\left(-n\right) + 1\right)}\]

↓

\[{b}^{\left(\left(-n\right) + 1\right)}\]

Error

Bits error versus b

Bits error versus n

Derivation

1. Initial program 0.2

   \[{b}^{\left(\left(-n\right) + 1\right)}\]

2. Final simplification 0.2

   \[\leadsto {b}^{\left(\left(-n\right) + 1\right)}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (b n)
  :name "(pow b (+ (- n) 1))"
  :precision binary64
  (pow b (+ (neg n) 1.0)))