@command_block 不是，形式幂级数的形式导数是直接定义的啊