@command_block 不是，下面最大的问题是形式幂级数的ln和exp定义不是那样的啊，是级数展开后套进去定义的。还有求导不用证啊，，，看你的证明我难受死了