Exception for Toniolo and Linder, Equation (10+)

Math

\[\frac{2}{\left(\left(\frac{{t}^{3}}{\ell \cdot \ell} \cdot \sin k\right) \cdot \tan k\right) \cdot \left(\left(1 + {\left(\frac{k}{t}\right)}^{2}\right) + 1\right)}\]

FPCore

(FPCore (t l k)
 :precision binary64
 (/
  2.0
  (*
   (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k))
   (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))))

C

double code(double t, double l, double k) {
	return 2.0 / ((((pow(t, 3.0) / (l * l)) * sin(k)) * tan(k)) * ((1.0 + pow((k / t), 2.0)) + 1.0));
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2021060 
(FPCore (t l k)
  :name "Toniolo and Linder, Equation (10+)"
  :precision binary64
  (/ 2.0 (* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))))

Backtrace

Failed to produce proof for (*.f64 (/.f64 (sqrt.f64 (/.f64 2 (tan.f64 k))) (pow.f64 (sqrt.f64 t) 3)) (sqrt.f64 (/.f64 l (/.f64 (sin.f64 k) l)))) to (*.f64 (/.f64 (sqrt.f64 (/.f64 2 (tan.f64 k))) t) (/.f64 (sqrt.f64 (*.f64 (/.f64 l (sin.f64 k)) l)) (sqrt.f64 t)))		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
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