p1.x, p1.y) // t3 := X1 + Y1 t4 := new({{.Element}}).Add(p2.x, p2.y) // t4 := X2 + Y2 t3.Mul(t3, t4) // t3 := t3 * t4 t4.Add(t0, t1) // t4 := t0 + t1 t3.Sub(t3, t4) // t3 := t3 - t4 t4.Add(p1.y, p1.z) // t4 := Y1 + Z1 x3 := new({{.Element}}).Add(p2.y, p2.z) // X3 := Y2 + Z2 t4.Mul(t4, x3) // t4 := t4 * X3 x3.Add(t1, t2) // X3 := t1 + t2 t4.Sub(t4, x3) // t4 := t4 - X3 x3.Add(p1.x, p1.z) // X3 := X1 + Z1 y3 := new({{.Element}}).Add(p2.x, p2.z) // Y3 := X2 + Z2 x3.Mul(x3, y3) // X3 := X3 * Y3 y3.Add(t0,...