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