Replace usages of derivative
with educe
.
#2813
Job | Run time |
---|---|
1m 5s | |
6m 41s | |
7m 17s | |
20s | |
6m 8s | |
3m 14s | |
0s | |
24m 45s |
derivative
with educe
.
#2813
Job | Run time |
---|---|
1m 5s | |
6m 41s | |
7m 17s | |
20s | |
6m 8s | |
3m 14s | |
0s | |
24m 45s |