How do you verify (1-cos^2y + sin^2y)^2 + 4 sin^2y cos^2y= 4 sin^2y?