Error in 4.0m

Runtime

Time bar (total: 4.0m)Debug log

start6.4s

Algorithm
intervals

setup377.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.5b

localize201.0ms

Local error

Found 4 expressions with local error:

11.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.8b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.6b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.6b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite54.0ms

Algorithm
rewrite-expression-head
Counts
4 → 116
Calls

4 calls. Slowest were:

17.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
13.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
11.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series700.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

191.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
181.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
166.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify17.8s

Counts
108 → 128
Calls

108 calls. Slowest were:

883.0ms
(* (- (pow (* t j) 3) (pow (* y k) 3)) (- (* (* y4 b) (* y4 b)) (* (* y5 i) (* y5 i))))
558.0ms
(* (- (* (* t j) (* t j)) (* (* y k) (* y k))) (- (* (* y4 b) (* y4 b)) (* (* y5 i) (* y5 i))))
540.0ms
(* (- (* (* x j) (* x j)) (* (* z k) (* z k))) (- (* (* y0 b) (* y0 b)) (* (* y1 i) (* y1 i))))

prune8.3s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 20.1b

localize35.0ms

Local error

Found 4 expressions with local error:

9.8b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.6b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.6b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.2b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

rewrite55.0ms

Algorithm
rewrite-expression-head
Counts
4 → 116
Calls

4 calls. Slowest were:

18.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
16.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series657.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

194.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
173.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
151.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

simplify17.6s

Counts
108 → 128
Calls

108 calls. Slowest were:

709.0ms
(* (+ (* x j) (* z k)) (+ (* y0 b) (* y1 i)))
572.0ms
(* (- (pow (* x j) 3) (pow (* z k) 3)) (- (* (* y0 b) (* y0 b)) (* (* y1 i) (* y1 i))))
530.0ms
(* (- (* (* x y) (* x y)) (* (* z t) (* z t))) (- (* (* a b) (* a b)) (* (* c i) (* c i))))

prune9.0s

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 18.4b

localize46.0ms

Local error

Found 4 expressions with local error:

11.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.8b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.6b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.2b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

rewrite44.0ms

Algorithm
rewrite-expression-head
Counts
4 → 116
Calls

4 calls. Slowest were:

13.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
11.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series635.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

183.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
157.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
149.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify17.7s

Counts
108 → 128
Calls

108 calls. Slowest were:

572.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
553.0ms
(* (- (* (* t y2) (* t y2)) (* (* y y3) (* y y3))) (- (* (* y4 c) (* y4 c)) (* (* y5 a) (* y5 a))))
524.0ms
(* (- (pow (* t y2) 3) (pow (* y y3) 3)) (- (* (* y4 c) (* y4 c)) (* (* y5 a) (* y5 a))))

prune8.7s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 18.4b

localize36.0ms

Local error

Found 4 expressions with local error:

11.5b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.6b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
8.6b
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.2b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

rewrite55.0ms

Algorithm
rewrite-expression-head
Counts
4 → 116
Calls

4 calls. Slowest were:

17.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
15.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
12.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series586.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

168.0ms
(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
156.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
135.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify12.5s

Counts
108 → 128
Calls

108 calls. Slowest were:

495.0ms
(* (- (pow (* x y2) 3) (pow (* z y3) 3)) (- (* y0 c) (* y1 a)))
448.0ms
(* (- (* (* x y2) (* x y2)) (* (* z y3) (* z y3))) (- (* (* y0 c) (* y0 c)) (* (* y1 a) (* y1 a))))
405.0ms
(* (- (* (* x j) (* x j)) (* (* z k) (* z k))) (- (* (* y0 b) (* y0 b)) (* (* y1 i) (* y1 i))))

prune5.9s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 18.4b

regimes9.0s

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(FPCore (x y z t a b c i j k y0 y1 y2 y3 y4 y5)
  :name "Linear.Matrix:det44 from linear-1.19.1.3"
  (+ (- (+ (+ (- (* (- (* x y) (* z t)) (- (* a b) (* c i))) (* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))) (* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))) (* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))) (* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))) (* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))))

Backtrace

partition: contract violation expected: list? given: 27.55737922847048 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