Error in 1.0m

Runtime

Time bar (total: 1.0m)Debug log

start873.0ms

Algorithm
intervals

setup474.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize62.0ms

Local error

Found 4 expressions with local error:

1.2b
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
1.0b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.2b
(* y (log z))
0.1b
(* (- t 1.0) (log a))

rewrite65.0ms

Algorithm
rewrite-expression-head
Counts
4 → 57
Calls

4 calls. Slowest were:

37.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
22.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
4.0ms
(* (- t 1.0) (log a))

series424.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

187.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
156.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
50.0ms
(* (- t 1.0) (log a))

simplify3.0s

Counts
34 → 69
Calls

34 calls. Slowest were:

364.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
255.0ms
(- (+ (* t (log -1)) (* 1.0 (log (/ -1 a)))) (+ (* t (log (/ -1 a))) (* 1.0 (log -1))))
213.0ms
(exp (sqrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))

prune1.3s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize23.0ms

Local error

Found 4 expressions with local error:

1.2b
(/ (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
1.0b
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.2b
(* y (log z))
0.1b
(* (- t 1.0) (log a))

rewrite24.0ms

Algorithm
rewrite-expression-head
Counts
4 → 57
Calls

4 calls. Slowest were:

11.0ms
(/ (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
7.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
4.0ms
(* (- t 1.0) (log a))

series477.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

186.0ms
(/ (* x (pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
180.0ms
(pow E (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
75.0ms
(* (- t 1.0) (log a))

simplify2.6s

Counts
33 → 69
Calls

33 calls. Slowest were:

344.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
245.0ms
(* (* (* (- t 1.0) (- t 1.0)) (- t 1.0)) (* (* (log a) (log a)) (log a)))
226.0ms
(- (+ (* t (log -1)) (* 1.0 (log (/ -1 a)))) (+ (* t (log (/ -1 a))) (* 1.0 (log -1))))

prune1.4s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 4 expressions with local error:

1.2b
(/ (* x (* (* (pow a (- t 1.0)) (pow z y)) (exp (- b)))) y)
1.0b
(* (pow a (- t 1.0)) (pow z y))
0.2b
(* (* (pow a (- t 1.0)) (pow z y)) (exp (- b)))
0.1b
(pow a (- t 1.0))

rewrite56.0ms

Algorithm
rewrite-expression-head
Counts
4 → 79
Calls

4 calls. Slowest were:

26.0ms
(/ (* x (* (* (pow a (- t 1.0)) (pow z y)) (exp (- b)))) y)
20.0ms
(* (* (pow a (- t 1.0)) (pow z y)) (exp (- b)))
8.0ms
(* (pow a (- t 1.0)) (pow z y))

series748.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

285.0ms
(/ (* x (* (* (pow a (- t 1.0)) (pow z y)) (exp (- b)))) y)
229.0ms
(* (* (pow a (- t 1.0)) (pow z y)) (exp (- b)))
159.0ms
(* (pow a (- t 1.0)) (pow z y))

simplify5.6s

Counts
57 → 91
Calls

57 calls. Slowest were:

538.0ms
(* (* (* (* (pow a (- t 1.0)) (pow a (- t 1.0))) (pow a (- t 1.0))) (* (* (pow z y) (pow z y)) (pow z y))) (* (* (exp (- b)) (exp (- b))) (exp (- b))))
486.0ms
(* x (* (* (pow a t) (pow z y)) (exp (- b))))
379.0ms
(* (* (* (* (pow a (- t 1.0)) (pow z y)) (* (pow a (- t 1.0)) (pow z y))) (* (pow a (- t 1.0)) (pow z y))) (* (* (exp (- b)) (exp (- b))) (exp (- b))))

prune1.6s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 4 expressions with local error:

1.3b
(* (* x (* (* (pow a (- t 1.0)) (pow z y)) (exp (- b)))) (/ 1 y))
1.0b
(* (pow a (- t 1.0)) (pow z y))
0.2b
(* (* (pow a (- t 1.0)) (pow z y)) (exp (- b)))
0.1b
(pow a (- t 1.0))

rewrite59.0ms

Algorithm
rewrite-expression-head
Counts
4 → 92
Calls

4 calls. Slowest were:

41.0ms
(* (* x (* (* (pow a (- t 1.0)) (pow z y)) (exp (- b)))) (/ 1 y))
12.0ms
(* (* (pow a (- t 1.0)) (pow z y)) (exp (- b)))
4.0ms
(* (pow a (- t 1.0)) (pow z y))

series766.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

308.0ms
(* (* x (* (* (pow a (- t 1.0)) (pow z y)) (exp (- b)))) (/ 1 y))
197.0ms
(* (* (pow a (- t 1.0)) (pow z y)) (exp (- b)))
192.0ms
(* (pow a (- t 1.0)) (pow z y))

simplify8.2s

Counts
76 → 104
Calls

76 calls. Slowest were:

488.0ms
(* (* (* (* (pow a (- t 1.0)) (pow a (- t 1.0))) (pow a (- t 1.0))) (* (* (pow z y) (pow z y)) (pow z y))) (* (* (exp (- b)) (exp (- b))) (exp (- b))))
436.0ms
(+ (* (log a) (- t 1.0)) (log (pow z y)))
418.0ms
(* (* x (* (pow a (- t 1.0)) (pow z y))) (/ 1 y))

prune1.9s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

regimes849.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(FPCore (x y z t a b)
  :name "Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2"
  (/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y))

Backtrace

partition: contract violation expected: list? given: 2.083113180245667 argument position: 2nd other arguments...: #<procedure:ordinary-value?>LC
partition/home/p92/racket/collects/racket/list.rkt5550
errors-score/data/pavpan/nightlies/herbie/develop/src/points.rkt3220
for-loop/data/pavpan/nightlies/herbie/develop/src/sandbox.rkt7512
(unnamed)/home/p92/racket/collects/racket/private/more-scheme.rkt26128
run/home/p92/racket/share/pkgs/profile-lib/main.rkt392
profile-thunk16/home/p92/racket/share/pkgs/profile-lib/main.rkt90
(unnamed)/home/p92/racket/collects/racket/private/more-scheme.rkt26128