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 2021060 
(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

Failed to produce proof for (+.f64 (-.f64 (-.f64 (*.f64 (log.f64 2) (/.f64 1 2)) (*.f64 (log.f64 2) (/.f64 k 2))) 0) (-.f64 (*.f64 (log.f64 (*.f64 n PI.f64)) (/.f64 1 2)) (+.f64 (log.f64 (sqrt.f64 k)) (*.f64 (log.f64 (*.f64 n PI.f64)) (/.f64 k 2))))) to (-.f64 (+.f64 (*.f64 (log.f64 2) (-.f64 (/.f64 1 2) (/.f64 k 2))) (/.f64 (log.f64 (*.f64 n PI.f64)) 2)) (log.f64 (*.f64 (sqrt.f64 k) (pow.f64 (*.f64 n PI.f64) (/.f64 k 2)))))		L	C
for-loop	/data/pavpan/nightlies/herbie/egg-generate-proof/src/core/simplify.rkt	167	8
(unnamed)	/data/pavpan/nightlies/herbie/egg-generate-proof/src/core/simplify.rkt	149	6
egraph-add-exprs	/data/pavpan/nightlies/herbie/egg-generate-proof/egg-herbie/main.rkt	154	0
with-egraph	/data/pavpan/nightlies/herbie/egg-generate-proof/egg-herbie/main.rkt	74	0
(unnamed)	/data/pavpan/nightlies/herbie/egg-generate-proof/src/core/simplify.rkt	79	0
simplify!	/data/pavpan/nightlies/herbie/egg-generate-proof/src/mainloop.rkt	236	0
run-iter!	/data/pavpan/nightlies/herbie/egg-generate-proof/src/mainloop.rkt	360	0
for-loop	/data/pavpan/nightlies/herbie/egg-generate-proof/src/mainloop.rkt	391	2
run-improve	/data/pavpan/nightlies/herbie/egg-generate-proof/src/mainloop.rkt	377	0
(unnamed)	/data/pavpan/nightlies/herbie/egg-generate-proof/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