\[\sqrt{\frac{1}{2} \cdot \left(1 + \frac{1}{\sqrt{1 + {\left(\frac{2 \cdot \ell}{Om}\right)}^{2} \cdot \left({\left(\sin kx\right)}^{2} + {\left(\sin ky\right)}^{2}\right)}}\right)}\]

\sqrt{\frac{1}{2} \cdot \left(1 + \frac{1}{\sqrt{1 + {\left(\frac{2 \cdot \ell}{Om}\right)}^{2} \cdot \left({\left(\sin kx\right)}^{2} + {\left(\sin ky\right)}^{2}\right)}}\right)}

double f(double l, double Om, double kx, double ky) {
        double r52048 = 1.0;
        double r52049 = 2.0;
        double r52050 = r52048 / r52049;
        double r52051 = l;
        double r52052 = r52049 * r52051;
        double r52053 = Om;
        double r52054 = r52052 / r52053;
        double r52055 = pow(r52054, r52049);
        double r52056 = kx;
        double r52057 = sin(r52056);
        double r52058 = pow(r52057, r52049);
        double r52059 = ky;
        double r52060 = sin(r52059);
        double r52061 = pow(r52060, r52049);
        double r52062 = r52058 + r52061;
        double r52063 = r52055 * r52062;
        double r52064 = r52048 + r52063;
        double r52065 = sqrt(r52064);
        double r52066 = r52048 / r52065;
        double r52067 = r52048 + r52066;
        double r52068 = r52050 * r52067;
        double r52069 = sqrt(r52068);
        return r52069;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019323 +o rules:numerics
(FPCore (l Om kx ky)
  :name "Toniolo and Linder, Equation (3a)"
  :precision binary64
  (sqrt (* (/ 1 2) (+ 1 (/ 1 (sqrt (+ 1 (* (pow (/ (* 2 l) Om) 2) (+ (pow (sin kx) 2) (pow (sin ky) 2))))))))))

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