Error in 4.2m

Runtime

Time bar (total: 4.2m)Debug logProfile

start6.6s

Algorithm
intervals

setup483.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.3b

localize239.0ms

Local error

Found 4 expressions with local error:

12.4b
(* (- (* a b) (* c i)) (- (* x y) (* z t)))
10.1b
(* (- (* t j) (* k y)) (- (* b y4) (* y5 i)))
9.4b
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))
8.9b
(* (- (* y4 y1) (* y0 y5)) (- (* y2 k) (* j y3)))

rewrite73.0ms

Algorithm
rewrite-expression-head
Counts
4 → 132
Calls

4 calls. Slowest were:

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

series644.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

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

simplify17.1s

Counts
116 → 144
Calls

116 calls. Slowest were:

654.0ms
(* (- (* y4 y1) (* y0 y5)) (- (* y2 k) (* j y3)))
635.0ms
(* (- (* (* y4 y1) (* y4 y1)) (* (* y0 y5) (* y0 y5))) (- (* (* y2 k) (* y2 k)) (* (* j y3) (* j y3))))
606.0ms
(* (- (* (* a b) (* a b)) (* (* c i) (* c i))) (- (* (* x y) (* x y)) (* (* z t) (* z t))))

prune9.3s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 21.0b

localize33.0ms

Local error

Found 4 expressions with local error:

12.4b
(* (- (* a b) (* c i)) (- (* x y) (* z t)))
10.1b
(* (- (* t j) (* k y)) (- (* b y4) (* y5 i)))
8.9b
(* (- (* y4 y1) (* y0 y5)) (- (* y2 k) (* j y3)))
7.9b
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))

rewrite67.0ms

Algorithm
rewrite-expression-head
Counts
4 → 132
Calls

4 calls. Slowest were:

19.0ms
(* (- (* y4 y1) (* y0 y5)) (- (* y2 k) (* j y3)))
18.0ms
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))
17.0ms
(* (- (* t j) (* k y)) (- (* b y4) (* y5 i)))

series689.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

206.0ms
(* (- (* y0 b) (* i y1)) (- (* j x) (* z k)))
180.0ms
(* (- (* y4 y1) (* y0 y5)) (- (* y2 k) (* j y3)))
152.0ms
(* (- (* a b) (* c i)) (- (* x y) (* z t)))

simplify17.3s

Counts
116 → 144
Calls

116 calls. Slowest were:

690.0ms
(+ (* (* y2 k) (* y2 k)) (+ (* (* j y3) (* j y3)) (* (* y2 k) (* j y3))))
598.0ms
(* (- (* (* y0 b) (* y0 b)) (* (* i y1) (* i y1))) (- (* (* j x) (* j x)) (* (* z k) (* z k))))
568.0ms
(* (- (* (* y4 y1) (* y4 y1)) (* (* y0 y5) (* y0 y5))) (- (* (* y2 k) (* y2 k)) (* (* j y3) (* j y3))))

prune9.7s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 19.6b

localize24.0ms

Local error

Found 4 expressions with local error:

12.4b
(* (- (* a b) (* c i)) (- (* x y) (* z t)))
10.1b
(* (- (* t j) (* k y)) (- (* b y4) (* y5 i)))
9.4b
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))
9.4b
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))

rewrite76.0ms

Algorithm
rewrite-expression-head
Counts
4 → 132
Calls

4 calls. Slowest were:

21.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))
18.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))
18.0ms
(* (- (* t j) (* k y)) (- (* b y4) (* y5 i)))

series750.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

204.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))
203.0ms
(* (- (* t j) (* k y)) (- (* b y4) (* y5 i)))
179.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))

simplify17.4s

Counts
116 → 144
Calls

116 calls. Slowest were:

1.1s
(* (- (* (* y2 t) (* y2 t)) (* (* y y3) (* y y3))) (- (* (* c y4) (* c y4)) (* (* a y5) (* a y5))))
620.0ms
(* (- (* (* t j) (* t j)) (* (* k y) (* k y))) (- (* (* b y4) (* b y4)) (* (* y5 i) (* y5 i))))
611.0ms
(* (- (* (* y2 t) (* y2 t)) (* (* y y3) (* y y3))) (- (* (* c y4) (* c y4)) (* (* a y5) (* a y5))))

prune9.9s

Pruning

26 alts after pruning (25 fresh and 1 done)

Merged error: 19.6b

localize24.0ms

Local error

Found 4 expressions with local error:

12.4b
(* (- (* a b) (* c i)) (- (* x y) (* z t)))
10.1b
(* (- (* t j) (* k y)) (- (* b y4) (* y5 i)))
9.4b
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))
8.9b
(* (- (* y4 y1) (* y0 y5)) (- (* y2 k) (* j y3)))

rewrite48.0ms

Algorithm
rewrite-expression-head
Counts
4 → 132
Calls

4 calls. Slowest were:

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

series617.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

166.0ms
(* (- (* t j) (* k y)) (- (* b y4) (* y5 i)))
162.0ms
(* (- (* a b) (* c i)) (- (* x y) (* z t)))
154.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))

simplify14.7s

Counts
116 → 144
Calls

116 calls. Slowest were:

622.0ms
(* (- (* (* y2 t) (* y2 t)) (* (* y y3) (* y y3))) (- (* (* c y4) (* c y4)) (* (* a y5) (* a y5))))
599.0ms
(* (- (* (* y4 y1) (* y4 y1)) (* (* y0 y5) (* y0 y5))) (- (* (* y2 k) (* y2 k)) (* (* j y3) (* j y3))))
525.0ms
(* (- (* (* a b) (* a b)) (* (* c i) (* c i))) (- (* (* x y) (* x y)) (* (* z t) (* z t))))

prune7.9s

Pruning

25 alts after pruning (24 fresh and 1 done)

Merged error: 19.6b

regimes9.2s

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(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: 25.485018904389754 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