查看lowering与重新构造[#110]
passes: (antiderivative simplify)nreplay: #t
报告列出原函数计算及后续化简所用的pass，并附带可重放证书。专用IR让指数向量和精确系数可直接操作；它不在MathML节点或排版字符串中寻找x。
可以用另一个pass检查原函数是否恢复被积项：
◆:partial在这里构造形式偏导；math-check-equation接收两个Semantic值并计算残差。若结果为零，等式在当前规则范围内核验成功。