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

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

double f(double x, double y, double z, double t, double a, double b) {
        double r23135250 = x;
        double r23135251 = y;
        double r23135252 = r23135250 + r23135251;
        double r23135253 = z;
        double r23135254 = r23135252 + r23135253;
        double r23135255 = t;
        double r23135256 = log(r23135255);
        double r23135257 = r23135253 * r23135256;
        double r23135258 = r23135254 - r23135257;
        double r23135259 = a;
        double r23135260 = 0.5;
        double r23135261 = r23135259 - r23135260;
        double r23135262 = b;
        double r23135263 = r23135261 * r23135262;
        double r23135264 = r23135258 + r23135263;
        return r23135264;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019165 
(FPCore (x y z t a b)
  :name "Numeric.SpecFunctions:logBeta from math-functions-0.1.5.2, A"

  :herbie-target
  (+ (+ (+ x y) (/ (* (- 1.0 (pow (log t) 2.0)) z) (+ 1.0 (log t)))) (* (- a 0.5) b))

  (+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b)))

Backtrace

->bf: contract violation expected: value? given: 'E in: the 1st argument of (-> value? bigvalue?) contract from: (function ->bf) blaming: /data/pavpan/nightlies/herbie/optional-posits/src/float.rkt (assuming the contract is correct) at: /data/pavpan/nightlies/herbie/optional-posits/src/float.rkt:163.18		L	C
raise-blame-error16	/opt/racket-7.0/collects/racket/contract/private/blame.rkt	347	0
(unnamed)	/opt/racket-7.0/collects/racket/contract/private/arrow-higher-order.rkt	357	33
(unnamed)	/data/pavpan/nightlies/herbie/optional-posits/src/core/localize.rkt	22	13
hash-ref!	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	376	2
loop	/opt/racket-7.0/collects/racket/private/map.rkt	40	19
parse-loop15	/opt/racket-7.0/collects/racket/match/compiler.rkt	418	15
hash-ref!	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	376	2
map	/opt/racket-7.0/collects/racket/private/map.rkt	35	13
f9	/opt/racket-7.0/collects/racket/match/compiler.rkt	507	40
hash-ref!	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	376	2
loop	/opt/racket-7.0/collects/racket/private/map.rkt	40	19
parse-loop15	/opt/racket-7.0/collects/racket/match/compiler.rkt	418	15
hash-ref!	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	376	2
loop	/opt/racket-7.0/collects/racket/private/map.rkt	40	19
parse-loop15	/opt/racket-7.0/collects/racket/match/compiler.rkt	418	15
hash-ref!	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	376	2
loop	/opt/racket-7.0/collects/racket/private/map.rkt	40	19
parse-loop15	/opt/racket-7.0/collects/racket/match/compiler.rkt	418	15
hash-ref!	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	376	2
loop	/opt/racket-7.0/collects/racket/private/map.rkt	40	19
parse-loop15	/opt/racket-7.0/collects/racket/match/compiler.rkt	418	15
hash-ref!	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	376	2
localize-error	/data/pavpan/nightlies/herbie/optional-posits/src/core/localize.rkt	52	0
localize!	/data/pavpan/nightlies/herbie/optional-posits/src/mainloop.rkt	116	0
run-iter!	/data/pavpan/nightlies/herbie/optional-posits/src/mainloop.rkt	317	0
for-loop	/data/pavpan/nightlies/herbie/optional-posits/src/mainloop.rkt	351	4
run-improve40	/data/pavpan/nightlies/herbie/optional-posits/src/mainloop.rkt	336	0
(unnamed)	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	261	28
run	/opt/racket-7.0/share/pkgs/profile-lib/main.rkt	39	2
profile-thunk16	/opt/racket-7.0/share/pkgs/profile-lib/main.rkt	9	0
(unnamed)	/opt/racket-7.0/collects/racket/private/more-scheme.rkt	261	28