\[\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)}\]

\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)}

double f(double t, double l, double k) {
        double r80046 = 2.0;
        double r80047 = t;
        double r80048 = 3.0;
        double r80049 = pow(r80047, r80048);
        double r80050 = l;
        double r80051 = r80050 * r80050;
        double r80052 = r80049 / r80051;
        double r80053 = k;
        double r80054 = sin(r80053);
        double r80055 = r80052 * r80054;
        double r80056 = tan(r80053);
        double r80057 = r80055 * r80056;
        double r80058 = 1.0;
        double r80059 = r80053 / r80047;
        double r80060 = pow(r80059, r80046);
        double r80061 = r80058 + r80060;
        double r80062 = r80061 - r80058;
        double r80063 = r80057 * r80062;
        double r80064 = r80046 / r80063;
        return r80064;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019323 
(FPCore (t l k)
  :name "Toniolo and Linder, Equation (10-)"
  :precision binary64
  (/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (- (+ 1 (pow (/ k t) 2)) 1))))

Backtrace

get-representation: Unknown representation real		L	C
(unnamed)	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt	65	3
filter	/opt/racket-7.2/collects/racket/private/list.rkt	256	2
infer-splitpoints	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/regimes.rkt	34	0
get-final-combination	/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt	369	0
(unnamed)	/opt/racket-7.2/collects/racket/private/more-scheme.rkt	261	28
run	/opt/racket-7.2/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/opt/racket-7.2/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.2/collects/racket/private/more-scheme.rkt	261	28