MULQ (BX)                               // 48f723
	MULQ (R11)                              // 49f723
	MULQ DX                                 // 48f7e2
	MULQ R11                                // 49f7e3
	MULB (BX)                               // f623
	MULB (R11)                              // 41f623
	MULB DL                                 // f6e2
	MULB R11                                // 41f6e3

var t0 = new(P256Element) var t1 = new(P256Element) z.Square(x) z.Mul(x, z) z.Square(z) z.Mul(x, z) t0.Square(z) for s := 1; s < 3; s++ { t0.Square(t0) } t0.Mul(z, t0) t1.Square(t0) for s := 1; s < 6; s++ { t1.Square(t1) } t0.Mul(t0, t1) for s := 0; s < 3; s++ { t0.Square(t0) } z.Mul(z, t0) t0.Square(z) t0.Mul(x, t0) t1.Square(t0) for s := 1; s < 16; s++ { t1.Square(t1) } t0.Mul(t0, t1) for s := 0; s < 15; s++ { t0.Square(t0) } z.Mul(z, t0) for s := 0; s < 17; s++ { t0.Square(t0) } t0.Mul(x, t0) for...