use mulx for mul3x1