Differentiation in practice