[firedrake] fd.derivative