>>627
右辺を微分したときの式変形を逆順に並べる