:= t1 + X3 y3.Mul({{.p}}B(), y3) // Y3 := b * Y3 t1.Add(t2, t2) // t1 := t2 + t2 t2.Add(t1, t2) // t2 := t1 + t2 y3.Sub(y3, t2) // Y3 := Y3 - t2 y3.Sub(y3, t0) // Y3 := Y3 - t0 t1.Add(y3, y3) // t1 := Y3 + Y3 y3.Add(t1, y3) // Y3 := t1 + Y3 t1.Add(t0, t0) // t1 := t0 + t0 t0.Add(t1, t0) // t0 := t1 + t0 t0.Sub(t0, t2) // t0 := t0 - t2 t1.Mul(t4, y3) // t1 := t4 * Y3 t2.Mul(t0, y3) // t2 := t0 * Y3 y3.Mul(x3, z3) // Y3 := X3 * Z3 y3.Add(y3, t2) // Y3 := Y3 + t2 x3.Mul(t3, x3) // X3 := t3 * X3 x3.Sub(x3,...