Cannot sample enough valid points. (more)

\[\frac{{2}^{\left(\left(-n\right) - 1\right)} \cdot \left(\left(\left(\left(\left(\left(-k\right) \cdot {\left(\left(\left(-\sqrt{\left({k}^{2} + 2 \cdot k\right) - 3}\right) + k\right) - 1\right)}^{n} + \sqrt{\left({k}^{2} + 2 \cdot k\right) - 3} \cdot {\left(\left(\left(-\sqrt{\left({k}^{2} + 2 \cdot k\right) - 3}\right) + k\right) - 1\right)}^{n}\right) + {\left(\left(\left(-\sqrt{\left({k}^{2} + 2 \cdot k\right) - 3}\right) + k\right) - 1\right)}^{n}\right) + k \cdot {\left(\left(\sqrt{\left({k}^{2} + 2 \cdot k\right) - 3} + k\right) - 1\right)}^{n}\right) + \sqrt{\left({k}^{2} + 2 \cdot k\right) - 3} \cdot {\left(\left(\sqrt{\left({k}^{2} + 2 \cdot k\right) - 3} + k\right) - 1\right)}^{n}\right) - {\left(\left(\sqrt{\left({k}^{2} + 2 \cdot k\right) - 3} + k\right) - 1\right)}^{n}\right)}{\sqrt{\left({k}^{2} + 2 \cdot k\right) - 3}}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (n k)
  :name "(/ (* (pow 2 (- (- n) 1)) (- (+ (+ (+ (+ (* (- k) (pow (- (+ (- (sqrt (- (+ (pow k 2) (* 2 k)) 3))) k) 1) n)) (* (sqrt (- (+ (pow k 2) (* 2 k)) 3)) (pow (- (+ (- (sqrt (- (+ (pow k 2) (* 2 k)) 3))) k) 1) n))) (pow (- (+ (- (sqrt (- (+ (pow k 2) (* 2 k)) 3))) k) 1) n)) (* k (pow (- (+ (sqrt (- (+ (pow k 2) (* 2 k)) 3)) k) 1) n))) (* (sqrt (- (+ (pow k 2) (* 2 k)) 3)) (pow (- (+ (sqrt (- (+ (pow k 2) (* 2 k)) 3)) k) 1) n))) (pow (- (+ (sqrt (- (+ (pow k 2) (* 2 k)) 3)) k) 1) n))) (sqrt (- (+ (pow k 2) (* 2 k)) 3)))"
  :precision binary64
  (/ (* (pow 2.0 (- (neg n) 1.0)) (- (+ (+ (+ (+ (* (neg k) (pow (- (+ (neg (sqrt (- (+ (pow k 2.0) (* 2.0 k)) 3.0))) k) 1.0) n)) (* (sqrt (- (+ (pow k 2.0) (* 2.0 k)) 3.0)) (pow (- (+ (neg (sqrt (- (+ (pow k 2.0) (* 2.0 k)) 3.0))) k) 1.0) n))) (pow (- (+ (neg (sqrt (- (+ (pow k 2.0) (* 2.0 k)) 3.0))) k) 1.0) n)) (* k (pow (- (+ (sqrt (- (+ (pow k 2.0) (* 2.0 k)) 3.0)) k) 1.0) n))) (* (sqrt (- (+ (pow k 2.0) (* 2.0 k)) 3.0)) (pow (- (+ (sqrt (- (+ (pow k 2.0) (* 2.0 k)) 3.0)) k) 1.0) n))) (pow (- (+ (sqrt (- (+ (pow k 2.0) (* 2.0 k)) 3.0)) k) 1.0) n))) (sqrt (- (+ (pow k 2.0) (* 2.0 k)) 3.0))))