use mulx for Fp<4>::mul