Using the fact that sin(A+B)=sin A cos B + cos A sin B and differentiation,
obtain the sum formula for cosines.