Time bar (total: 43.3s)Debug logProfile
1 alts after pruning (1 fresh and 0 done)
Merged error: 12.8b
Found 4 expressions with local error:
| 6.8b | (* (- (* z y) (* t a)) x) |
| 5.9b | (* (- (* t c) (* y i)) j) |
| 5.6b | (* (- (* z c) (* i a)) b) |
| 0.3b | (- (* z y) (* t a)) |
4 calls. Slowest were:
| 4.0ms | (* (- (* z y) (* t a)) x) |
| 4.0ms | (* (- (* t c) (* y i)) j) |
| 4.0ms | (* (- (* z c) (* i a)) b) |
4 calls. Slowest were:
| 59.0ms | (* (- (* z y) (* t a)) x) |
| 52.0ms | (* (- (* t c) (* y i)) j) |
| 51.0ms | (* (- (* z c) (* i a)) b) |
25 calls. Slowest were:
| 255.0ms | (* (- (pow (* z c) 3) (pow (* i a) 3)) b) |
| 253.0ms | (* (- (pow (* z y) 3) (pow (* t a) 3)) x) |
| 222.0ms | (* (- (pow (* t c) 3) (pow (* y i) 3)) j) |
19 alts after pruning (19 fresh and 0 done)
Merged error: 8.6b
Found 4 expressions with local error:
| 6.8b | (* (- (* z y) (* t a)) x) |
| 5.9b | (* (- (* t c) (* y i)) j) |
| 5.6b | (* (- (* z c) (* i a)) b) |
| 5.6b | (* (- (* z c) (* i a)) b) |
4 calls. Slowest were:
| 4.0ms | (* (- (* z y) (* t a)) x) |
| 4.0ms | (* (- (* z c) (* i a)) b) |
| 4.0ms | (* (- (* z c) (* i a)) b) |
4 calls. Slowest were:
| 65.0ms | (* (- (* z y) (* t a)) x) |
| 58.0ms | (* (- (* z c) (* i a)) b) |
| 46.0ms | (* (- (* t c) (* y i)) j) |
28 calls. Slowest were:
| 293.0ms | (* (- (pow (* t c) 3) (pow (* y i) 3)) j) |
| 248.0ms | (* (- (pow (* z c) 3) (pow (* i a) 3)) b) |
| 217.0ms | (* (- (pow (* z y) 3) (pow (* t a) 3)) x) |
20 alts after pruning (20 fresh and 0 done)
Merged error: 8.6b
Found 4 expressions with local error:
| 6.8b | (* (- (* z y) (* t a)) x) |
| 6.6b | (cbrt (* (- (* t c) (* y i)) j)) |
| 6.6b | (cbrt (* (- (* t c) (* y i)) j)) |
| 6.6b | (cbrt (* (- (* t c) (* y i)) j)) |
4 calls. Slowest were:
| 4.0ms | (* (- (* z y) (* t a)) x) |
| 2.0ms | (cbrt (* (- (* t c) (* y i)) j)) |
| 2.0ms | (cbrt (* (- (* t c) (* y i)) j)) |
4 calls. Slowest were:
| 224.0ms | (cbrt (* (- (* t c) (* y i)) j)) |
| 203.0ms | (cbrt (* (- (* t c) (* y i)) j)) |
| 190.0ms | (cbrt (* (- (* t c) (* y i)) j)) |
25 calls. Slowest were:
| 274.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)))) |
| 257.0ms | (* (- (pow (* z y) 3) (pow (* t a) 3)) x) |
| 250.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)))) |
23 alts after pruning (23 fresh and 0 done)
Merged error: 8.6b
Found 4 expressions with local error:
| 6.8b | (* (- (* z y) (* t a)) x) |
| 6.6b | (cbrt (* (- (* t c) (* y i)) j)) |
| 6.6b | (cbrt (* (- (* t c) (* y i)) j)) |
| 6.6b | (cbrt (* (- (* t c) (* y i)) j)) |
4 calls. Slowest were:
| 8.0ms | (* (- (* z y) (* t a)) x) |
| 5.0ms | (cbrt (* (- (* t c) (* y i)) j)) |
| 5.0ms | (cbrt (* (- (* t c) (* y i)) j)) |
4 calls. Slowest were:
| 199.0ms | (cbrt (* (- (* t c) (* y i)) j)) |
| 183.0ms | (cbrt (* (- (* t c) (* y i)) j)) |
| 179.0ms | (cbrt (* (- (* t c) (* y i)) j)) |
25 calls. Slowest were:
| 640.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)))) |
| 256.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)))) |
| 236.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)))) |
23 alts after pruning (22 fresh and 1 done)
Merged error: 8.6b
Please include this information when filing a bug report:
herbie shell --seed 2018357
(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)))))
| partition: contract violation expected: list? given: 11.835320344132445 argument position: 2nd other arguments...: #<procedure:ordinary-value?> | L | C | |
|---|---|---|---|
| partition | /home/p92/racket/collects/racket/list.rkt | 555 | 0 |
| errors-score | /data/pavpan/nightlies/herbie/develop/src/points.rkt | 322 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/develop/src/sandbox.rkt | 75 | 12 |
| (unnamed) | /home/p92/racket/collects/racket/private/more-scheme.rkt | 261 | 28 |
| run | /home/p92/racket/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk16 | /home/p92/racket/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /home/p92/racket/collects/racket/private/more-scheme.rkt | 261 | 28 |