計算

ミスっています。消えるべき式が消えてくれない。
sliverに移って計算チェックするしかあるまい。