cos^(2)x*cos^(2)y-(1)/(2)sin(2x)*sin(2y)+sin^(2)x*sin^(2)y=cos^(2)(x+y)