\[\left(\left(\left(\left(x \cdot \log y + z\right) + t\right) + a\right) + \left(b - 0.5\right) \cdot \log c\right) + y \cdot i\]

\left(\left(\left(\left(x \cdot \log y + z\right) + t\right) + a\right) + \left(b - 0.5\right) \cdot \log c\right) + y \cdot i

double f(double x, double y, double z, double t, double a, double b, double c, double i) {
        double r69628 = x;
        double r69629 = y;
        double r69630 = log(r69629);
        double r69631 = r69628 * r69630;
        double r69632 = z;
        double r69633 = r69631 + r69632;
        double r69634 = t;
        double r69635 = r69633 + r69634;
        double r69636 = a;
        double r69637 = r69635 + r69636;
        double r69638 = b;
        double r69639 = 0.5;
        double r69640 = r69638 - r69639;
        double r69641 = c;
        double r69642 = log(r69641);
        double r69643 = r69640 * r69642;
        double r69644 = r69637 + r69643;
        double r69645 = i;
        double r69646 = r69629 * r69645;
        double r69647 = r69644 + r69646;
        return r69647;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019323 
(FPCore (x y z t a b c i)
  :name "Numeric.SpecFunctions:logBeta from math-functions-0.1.5.2, B"
  :precision binary64
  (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i)))

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