are sin(x+y)*cos(x+y) and sin^2(x) - sin^2(y) equivalent?