How do you verify #2 + cos^2 x - 3 cos ^4 x = sin^2 x(2 +3 cos^2 x)#?