形式导数

formal derivative