public ECFieldElement multiplyPlusProduct(ECFieldElement b, ECFieldElement x, ECFieldElement y) {
long[] ax = this.x, bx = ((SecT113FieldElement) b).x;
long[] xx = ((SecT113FieldElement) x).x, yx = ((SecT113FieldElement) y).x;
long[] tt = Nat128.createExt64();
SecT113Field.multiplyAddToExt(ax, bx, tt);
SecT113Field.multiplyAddToExt(xx, yx, tt);
long[] z = Nat128.create64();
SecT113Field.reduce(tt, z);
return new SecT113FieldElement(z);
}
