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