Exception for Migdal et al, Equation (51)

Math

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

FPCore

(FPCore (k n)
 :precision binary64
 (* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))))

C

double code(double k, double n) {
	return (1.0 / sqrt(k)) * pow(((2.0 * ((double) M_PI)) * n), ((1.0 - k) / 2.0));
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2021067 
(FPCore (k n)
  :name "Migdal et al, Equation (51)"
  :precision binary64
  (* (/ 1.0 (sqrt k)) (pow (* (* 2.0 PI) n) (/ (- 1.0 k) 2.0))))

Backtrace

simplify-batch: contract violation expected keyword argument #:precompute in: (-> (listof (or/c (listof any/c) symbol? value? real?)) #:precompute boolean? #:rules (listof rule?) (listof (listof (or/c (listof any/c) symbol? value? real?)))) contract from: (function simplify-batch) blaming: <pkgs>/herbie/core/simplify.rkt (assuming the contract is correct) at: <pkgs>/herbie/core/simplify.rkt:68.18		L	C
raise-blame-error	/opt/racket-7.9/collects/racket/contract/private/blame.rkt	347	0
for-loop	/opt/racket-7.9/collects/racket/contract/private/arrow-higher-order.rkt	508	13
kwd-checker	/opt/racket-7.9/collects/racket/contract/private/arrow-higher-order.rkt	496	11
connected-components	/data/pavpan/nightlies/herbie/egg-interface-fixes/src/symmetry.rkt	17	0
run-improve	/data/pavpan/nightlies/herbie/egg-interface-fixes/src/mainloop.rkt	387	0
(unnamed)	/data/pavpan/nightlies/herbie/egg-interface-fixes/src/sandbox.rkt	54	6
run	/opt/racket-7.9/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk	/opt/racket-7.9/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.9/collects/racket/engine.rkt	42	24