Replace derivative with educe #2863
Job | Run time |
---|---|
25s | |
11s | |
21s | |
2s | |
53s | |
9s | |
31s | |
8m 24s | |
25s | |
28m 49s | |
11m 39s | |
22m 18s | |
3m 49s | |
1m 7s | |
4m 12s | |
3m 47s | |
56s | |
1m 19s | |
1m 27s | |
1m 12s | |
1m 6s | |
54s | |
3m 50s | |
1m 16s | |
38s | |
4m 0s | |
1m 21s | |
1m 13s | |
1m 17s | |
1m 15s | |
56s | |
1m 10s | |
1m 2s | |
2m 18s | |
4m 17s | |
3m 16s | |
2h 1m 45s |