P_64_PROFILE_REDUCTION(32, {
  rd -= ps1 * ps2;
})