x f x
<apply> <diff/> <bvar> <ci> x </ci> </bvar> <apply> <ci type="fn"> f </ci> <ci> x </ci> </apply> </apply>