speed up multiplication on x86_64