Primitive of Secant Function/Secant plus Tangent Form/Proof 2

Proof
We make the Weierstrass Substitution: