Time bar (total: 49.2s)Debug log
2 alts after pruning (2 fresh and 0 done)
Merged error: 10.8b
Found 4 expressions with local error:
| 5.1b | (* (- (* t c) (* y i)) j) |
| 4.9b | (* (- (* z c) (* i a)) b) |
| 4.3b | (fma (- (* z y) (* t a)) x (- (* (- (* t c) (* y i)) j) (* (- (* z c) (* i a)) b))) |
| 0.4b | (- (* z c) (* i a)) |
4 calls. Slowest were:
| 5.0ms | (* (- (* t c) (* y i)) j) |
| 4.0ms | (* (- (* z c) (* i a)) b) |
| 2.0ms | (- (* z c) (* i a)) |
4 calls. Slowest were:
| 591.0ms | (fma (- (* z y) (* t a)) x (- (* (- (* t c) (* y i)) j) (* (- (* z c) (* i a)) b))) |
| 55.0ms | (* (- (* t c) (* y i)) j) |
| 52.0ms | (* (- (* z c) (* i a)) b) |
23 calls. Slowest were:
| 342.0ms | (- (* a (* i b)) (+ (* z (* b c)) (* i (* j y)))) |
| 327.0ms | (- (* a (* i b)) (+ (* z (* b c)) (* i (* j y)))) |
| 293.0ms | (* (- (pow (* z c) 3) (pow (* i a) 3)) b) |
14 alts after pruning (14 fresh and 0 done)
Merged error: 6.2b
Found 4 expressions with local error:
| 5.1b | (* (- (* t c) (* y i)) j) |
| 4.9b | (* (- (* z y) (* t a)) x) |
| 4.9b | (* (- (* z c) (* i a)) b) |
| 0.4b | (- (* z c) (* i a)) |
4 calls. Slowest were:
| 5.0ms | (* (- (* t c) (* y i)) j) |
| 4.0ms | (* (- (* z c) (* i a)) b) |
| 4.0ms | (* (- (* z y) (* t a)) x) |
4 calls. Slowest were:
| 72.0ms | (* (- (* t c) (* y i)) j) |
| 60.0ms | (* (- (* z c) (* i a)) b) |
| 48.0ms | (* (- (* z y) (* t a)) x) |
27 calls. Slowest were:
| 203.0ms | (* (- (pow (* z y) 3) (pow (* t a) 3)) x) |
| 200.0ms | (* (- (pow (* z c) 3) (pow (* i a) 3)) b) |
| 193.0ms | (* (- (pow (* t c) 3) (pow (* y i) 3)) j) |
17 alts after pruning (17 fresh and 0 done)
Merged error: 5.8b
Found 4 expressions with local error:
| 6.1b | (cbrt (- (* z c) (* i a))) |
| 6.1b | (cbrt (- (* z c) (* i a))) |
| 6.1b | (cbrt (- (* z c) (* i a))) |
| 5.1b | (* (- (* t c) (* y i)) j) |
4 calls. Slowest were:
| 8.0ms | (* (- (* t c) (* y i)) j) |
| 3.0ms | (cbrt (- (* z c) (* i a))) |
| 2.0ms | (cbrt (- (* z c) (* i a))) |
4 calls. Slowest were:
| 190.0ms | (cbrt (- (* z c) (* i a))) |
| 168.0ms | (cbrt (- (* z c) (* i a))) |
| 160.0ms | (cbrt (- (* z c) (* i a))) |
31 calls. Slowest were:
| 695.0ms | (cbrt (- (* (* z c) (* z c)) (* (* i a) (* i a)))) |
| 588.0ms | (cbrt (- (* (* z c) (* z c)) (* (* i a) (* i a)))) |
| 563.0ms | (cbrt (- (* (* z c) (* z c)) (* (* i a) (* i a)))) |
17 alts after pruning (16 fresh and 1 done)
Merged error: 5.8b
Found 4 expressions with local error:
| 6.1b | (cbrt (- (* z c) (* i a))) |
| 6.1b | (cbrt (- (* z c) (* i a))) |
| 6.1b | (cbrt (- (* z c) (* i a))) |
| 5.1b | (* (- (* t c) (* y i)) j) |
4 calls. Slowest were:
| 8.0ms | (* (- (* t c) (* y i)) j) |
| 3.0ms | (cbrt (- (* z c) (* i a))) |
| 3.0ms | (cbrt (- (* z c) (* i a))) |
4 calls. Slowest were:
| 179.0ms | (cbrt (- (* z c) (* i a))) |
| 170.0ms | (cbrt (- (* z c) (* i a))) |
| 146.0ms | (cbrt (- (* z c) (* i a))) |
31 calls. Slowest were:
| 710.0ms | (cbrt (- (* (* z c) (* z c)) (* (* i a) (* i a)))) |
| 610.0ms | (cbrt (- (* (* z c) (* z c)) (* (* i a) (* i a)))) |
| 598.0ms | (cbrt (- (* (* z c) (* z c)) (* (* i a) (* i a)))) |
17 alts after pruning (15 fresh and 2 done)
Merged error: 5.8b
Please include this information when filing a bug report:
herbie shell --seed 2018359 +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)))))
| partition: contract violation expected: list? given: 11.740862900739797 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 |