鼠尾草subs（）函数包括产品条件

Question

from brial import *
katan=declare_ring([Block('x',32),Block('k',80)],globals())

r1=x(3)*x(8) + x(7) + x(10)*x(12) + x(18) + x(23) + k(1) + k(16)

r2 = r1.subs({x(3)*x(8)+x(7)+ x(10)*x(12)+ x(18) + x(23) + k(1) + k(16) : 0})
print(r2)

这是一个鼠尾草代码，使r1等于包含一些变量的多项式，然后使用subs（）函数修复某些变量，在这种情况下，让多项式等于0，因此r2的预期结果为0，但是圣人给出的结果是

x（7）+ x（10）* x（12）+ x（18）+ x（23）+ k（1）+ k（16）

我知道，x（3）* x（8）出了点问题，但我不知道该怎么做。