高階微分項を考えるのは繰り込み可能にしたいからだよね
1階の微分項に変換したら結局繰り込み不可能にならんのか?