Make symbolic derivatives in Yukawa theory