干不动了回去休息，今天起太早了有些后劲不足[无聊]不过发现了codex可以直接调用mathematica 也许会对我的推导起到助力作用 ​