How do you verify #1-cos(2x)*sec^2(x) = (tan(x))^2#?