Error in 46.7s

Runtime

Time bar (total: 46.7s)Debug logProfile

start465.0ms

Algorithm
intervals

setup298.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.8b

localize79.0ms

Local error

Found 4 expressions with local error:

6.6b
(fma (- (* z y) (* t a)) x (- (* (- (* t c) (* y i)) j) (* (- (* z c) (* i a)) b)))
5.9b
(* (- (* t c) (* y i)) j)
5.6b
(* (- (* z c) (* i a)) b)
0.3b
(- (* z y) (* t a))

rewrite23.0ms

Algorithm
rewrite-expression-head
Counts
4 → 56
Calls

4 calls. Slowest were:

9.0ms
(* (- (* z c) (* i a)) b)
9.0ms
(* (- (* t c) (* y i)) j)
4.0ms
(- (* z y) (* t a))

series782.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

640.0ms
(fma (- (* z y) (* t a)) x (- (* (- (* t c) (* y i)) j) (* (- (* z c) (* i a)) b)))
61.0ms
(* (- (* z c) (* i a)) b)
51.0ms
(* (- (* t c) (* y i)) j)

simplify2.1s

Counts
23 → 68
Calls

23 calls. Slowest were:

386.0ms
(fma z y (- (* a t)))
374.0ms
(- (* a (* i b)) (+ (* z (* b c)) (* i (* j y))))
274.0ms
(- (* a (* i b)) (+ (* z (* b c)) (* i (* j y))))

prune1.5s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 7.4b

localize21.0ms

Local error

Found 4 expressions with local error:

6.6b
(fma (fma z y (- (* t a))) x (- (* (- (* t c) (* y i)) j) (* (- (* z c) (* i a)) b)))
5.9b
(* (- (* t c) (* y i)) j)
5.6b
(* (- (* z c) (* i a)) b)
0.2b
(- (* z c) (* i a))

rewrite22.0ms

Algorithm
rewrite-expression-head
Counts
4 → 56
Calls

4 calls. Slowest were:

9.0ms
(* (- (* z c) (* i a)) b)
8.0ms
(* (- (* t c) (* y i)) j)
4.0ms
(- (* z c) (* i a))

series803.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

648.0ms
(fma (fma z y (- (* t a))) x (- (* (- (* t c) (* y i)) j) (* (- (* z c) (* i a)) b)))
73.0ms
(* (- (* z c) (* i a)) b)
53.0ms
(* (- (* t c) (* y i)) j)

simplify1.8s

Counts
23 → 68
Calls

23 calls. Slowest were:

338.0ms
(- (* a (* i b)) (+ (* z (* b c)) (* i (* j y))))
304.0ms
(- (* a (* i b)) (+ (* z (* b c)) (* i (* j y))))
216.0ms
(* (- (pow (* z c) 3) (pow (* i a) 3)) b)

prune1.6s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 7.4b

localize32.0ms

Local error

Found 4 expressions with local error:

6.6b
(cbrt (* (- (* t c) (* y i)) j))
6.6b
(cbrt (* (- (* t c) (* y i)) j))
6.6b
(cbrt (* (- (* t c) (* y i)) j))
6.6b
(fma (fma z y (- (* t a))) x (- (* (* (cbrt (* (- (* t c) (* y i)) j)) (cbrt (* (- (* t c) (* y i)) j))) (cbrt (* (- (* t c) (* y i)) j))) (* (- (* z c) (* i a)) b)))

rewrite8.0ms

Algorithm
rewrite-expression-head
Counts
4 → 49
Calls

4 calls. Slowest were:

3.0ms
(cbrt (* (- (* t c) (* y i)) j))
2.0ms
(cbrt (* (- (* t c) (* y i)) j))
2.0ms
(cbrt (* (- (* t c) (* y i)) j))

series1.4s

Counts
4 → 12
Calls

4 calls. Slowest were:

681.0ms
(fma (fma z y (- (* t a))) x (- (* (* (cbrt (* (- (* t c) (* y i)) j)) (cbrt (* (- (* t c) (* y i)) j))) (cbrt (* (- (* t c) (* y i)) j))) (* (- (* z c) (* i a)) b)))
226.0ms
(cbrt (* (- (* t c) (* y i)) j))
225.0ms
(cbrt (* (- (* t c) (* y i)) j))

simplify3.6s

Counts
21 → 61
Calls

21 calls. Slowest were:

350.0ms
(- (exp (* 1/3 (+ (log i) (+ (log -1) (+ (log y) (log j)))))) (* 1/3 (* t (* (exp (* 1/3 (- (+ (log -1) (log j)) (+ (* 2 (log i)) (* 2 (log y)))))) c))))
339.0ms
(- (* a (* i b)) (+ (* z (* b c)) (* i (* j y))))
329.0ms
(- (exp (* 1/3 (+ (log i) (+ (log -1) (+ (log y) (log j)))))) (* 1/3 (* t (* (exp (* 1/3 (- (+ (log -1) (log j)) (+ (* 2 (log i)) (* 2 (log y)))))) c))))

prune1.6s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 7.4b

localize26.0ms

Local error

Found 4 expressions with local error:

7.4b
(cbrt (- (* t c) (* y i)))
6.6b
(cbrt (* (- (* t c) (* y i)) j))
6.6b
(cbrt (* (- (* t c) (* y i)) j))
6.6b
(fma (fma z y (- (* t a))) x (- (* (* (cbrt (* (- (* t c) (* y i)) j)) (* (cbrt (- (* t c) (* y i))) (cbrt j))) (cbrt (* (- (* t c) (* y i)) j))) (* (- (* z c) (* i a)) b)))

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
4 → 51
Calls

4 calls. Slowest were:

4.0ms
(cbrt (* (- (* t c) (* y i)) j))
2.0ms
(cbrt (* (- (* t c) (* y i)) j))
2.0ms
(cbrt (- (* t c) (* y i)))

series1.2s

Counts
4 → 12
Calls

4 calls. Slowest were:

699.0ms
(fma (fma z y (- (* t a))) x (- (* (* (cbrt (* (- (* t c) (* y i)) j)) (* (cbrt (- (* t c) (* y i))) (cbrt j))) (cbrt (* (- (* t c) (* y i)) j))) (* (- (* z c) (* i a)) b)))
202.0ms
(cbrt (* (- (* t c) (* y i)) j))
185.0ms
(cbrt (* (- (* t c) (* y i)) j))

simplify4.3s

Counts
23 → 63
Calls

23 calls. Slowest were:

621.0ms
(cbrt (- (* (* t c) (* t c)) (* (* y i) (* y i))))
439.0ms
(cbrt (- (pow (* t c) 3) (pow (* y i) 3)))
345.0ms
(- (exp (* 1/3 (+ (log i) (+ (log -1) (+ (log y) (log j)))))) (* 1/3 (* t (* (exp (* 1/3 (- (+ (log -1) (log j)) (+ (* 2 (log i)) (* 2 (log y)))))) c))))

prune1.6s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 7.4b

regimes2.4s

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)
  :name "Linear.Matrix:det33 from linear-1.19.1.3"
  (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))))

Backtrace

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