Formal derivative