Cosine Exponential Formulation/Proof from Power Series