looser bounds for d_mat_mul