(- (pow 3 (- n)) (pow 2 (- (* 2 n))))

Average Error: 39.1 → 39.1

Time: 2.2s

Precision: binary64

Math

\[{3}^{\left(-n\right)} - {2}^{\left(-2 \cdot n\right)}\]

↓

\[{3}^{\left(-n\right)} - {2}^{\left(-2 \cdot n\right)}\]

Error

Bits error versus n

Derivation

1. Initial program 39.1

   \[{3}^{\left(-n\right)} - {2}^{\left(-2 \cdot n\right)}\]

2. Final simplification 39.1

   \[\leadsto {3}^{\left(-n\right)} - {2}^{\left(-2 \cdot n\right)}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (n)
  :name "(- (pow 3 (- n)) (pow 2 (- (* 2 n))))"
  :precision binary64
  (- (pow 3.0 (neg n)) (pow 2.0 (neg (* 2.0 n)))))