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