call mul instead of mul_KS in div_divconquer (assume tuning is correct)