Differentiation in Practice