Error in 4.2m

Runtime

Time bar (total: 4.2m)Debug logProfile

start6.8s

Algorithm
intervals

setup356.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.3b

localize184.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
(* (- (* y2 x) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite42.0ms

Algorithm
rewrite-expression-head
Counts
4 → 116
Calls

4 calls. Slowest were:

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

series674.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

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

simplify17.3s

Counts
108 → 128
Calls

108 calls. Slowest were:

740.0ms
(* (- (* y2 x) (* z y3)) (- (* y1 a)))
606.0ms
(* (- (* (* t j) (* t j)) (* (* k y) (* k y))) (- (* (* b y4) (* b y4)) (* (* y5 i) (* y5 i))))
574.0ms
(* (- (pow (* a b) 3) (pow (* c i) 3)) (- (* (* x y) (* x y)) (* (* z t) (* z t))))

prune8.3s

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 20.9b

localize38.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
(* (- (* y2 x) (* z y3)) (- (* y0 c) (* y1 a)))
8.9b
(* (- (* y4 y1) (* y0 y5)) (- (* y2 k) (* j y3)))

rewrite44.0ms

Algorithm
rewrite-expression-head
Counts
4 → 116
Calls

4 calls. Slowest were:

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

series713.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

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

simplify17.2s

Counts
108 → 128
Calls

108 calls. Slowest were:

533.0ms
(* (- (pow (* a b) 3) (pow (* c i) 3)) (- (* (* x y) (* x y)) (* (* z t) (* z t))))
512.0ms
(* (- (* (* y4 y1) (* y4 y1)) (* (* y0 y5) (* y0 y5))) (- (* (* y2 k) (* y2 k)) (* (* j y3) (* j y3))))
500.0ms
(* (- (* (* y2 x) (* y2 x)) (* (* z y3) (* z y3))) (- (* (* y0 c) (* y0 c)) (* (* y1 a) (* y1 a))))

prune8.5s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 18.8b

localize37.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)))

rewrite51.0ms

Algorithm
rewrite-expression-head
Counts
4 → 116
Calls

4 calls. Slowest were:

15.0ms
(* (- (* a b) (* c i)) (- (* x y) (* z t)))
15.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))
9.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))

series656.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

193.0ms
(* (- (* t j) (* k y)) (- (* b y4) (* y5 i)))
164.0ms
(* (- (* y2 t) (* y y3)) (- (* c y4) (* a y5)))
153.0ms
(* (- (* a b) (* c i)) (- (* x y) (* z t)))

simplify17.7s

Counts
108 → 128
Calls

108 calls. Slowest were:

579.0ms
(* (- (* (* t j) (* t j)) (* (* k y) (* k y))) (- (* (* b y4) (* b y4)) (* (* y5 i) (* y5 i))))
554.0ms
(* (+ (* (* t j) (* t j)) (+ (* (* k y) (* k y)) (* (* t j) (* k y)))) (+ (* (* b y4) (* b y4)) (+ (* (* y5 i) (* y5 i)) (* (* b y4) (* y5 i)))))
553.0ms
(* (- (pow (* t j) 3) (pow (* k y) 3)) (- (* (* b y4) (* b y4)) (* (* y5 i) (* y5 i))))

prune9.3s

Pruning

25 alts after pruning (24 fresh and 1 done)

Merged error: 18.8b

localize25.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)))
10.1b
(* (- (* t j) (* k y)) (- (* b y4) (* y5 i)))
10.1b
(* (- (* t j) (* k y)) (- (* b y4) (* y5 i)))

rewrite59.0ms

Algorithm
rewrite-expression-head
Counts
4 → 116
Calls

4 calls. Slowest were:

18.0ms
(* (- (* t j) (* k y)) (- (* b y4) (* y5 i)))
17.0ms
(* (- (* t j) (* k y)) (- (* b y4) (* y5 i)))
13.0ms
(* (- (* t j) (* k y)) (- (* b y4) (* y5 i)))

series684.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

187.0ms
(* (- (* a b) (* c i)) (- (* x y) (* z t)))
172.0ms
(* (- (* t j) (* k y)) (- (* b y4) (* y5 i)))
169.0ms
(* (- (* t j) (* k y)) (- (* b y4) (* y5 i)))

simplify16.4s

Counts
108 → 128
Calls

108 calls. Slowest were:

506.0ms
(* (- (pow (* t j) 3) (pow (* k y) 3)) (- (* (* b y4) (* b y4)) (* (* y5 i) (* y5 i))))
499.0ms
(* (- (* (* t j) (* t j)) (* (* k y) (* k y))) (- (* (* b y4) (* b y4)) (* (* y5 i) (* y5 i))))
498.0ms
(* (- (* (* t j) (* t j)) (* (* k y) (* k y))) (- (* (* b y4) (* b y4)) (* (* y5 i) (* y5 i))))

prune7.7s

Pruning

24 alts after pruning (23 fresh and 1 done)

Merged error: 18.8b

regimes9.2s

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(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.48748751613399 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