

Given sin(A+B) = sinA*cosB + cosA*sinB
Differentiate with respect to x
cos(A+B) *(dA/dx + dB/dx) = sinA*(-sinB)dB/dx + cosB*cosA*dA/dx + cosA*cosB*dB/dx + (-sinA)*sinB*dA/dx
= (dA/dx)*[cosA*cosB - sinA*sinB ] + (dB/dx)*[cosA*cosB - sinA*sinB ]
= [cosA*cosB - sinA*sinB ]*(dA/dx + dB/dx)
=> cos(A+B) = cosA*cosB - sinA*sinB
