Tag calculus of derivatives