Analytic Differentiation in FORMAC