derivative of cos(x + y ) = x