@command_block 关于添加$n$个点的那里：

$(0,y_0*y'_0)...(n,y_n*y'_n)...(n,y_{2n}*y'_{2n})$

应该是$(2n,y_{2n}*y'_{2n})$吧？蒟蒻硬是看了三遍才看懂。（当然如果您就是这个意思就是我太弱没看懂，也麻烦您加一句解释）