example. 手写一条链[#88]

对于教学或解释，也可以亲自列出每一步。下面刻意拆开幂法则、常数倍和常数导数：

第一行是待求导项；第二行应用幂法则；第三行用坐标求导规则；最后一步消去乘法单位元。核验器要求相邻两行分别有规则支持，不会替作者省略中间步骤。若删掉中间项，失败报告会指出链条断在哪里。