Primitive of Tangent Function/Cosine Form/Proof