differential_at compiles now (but is still not giving correct results!---will fix that shortly)