Cosine of Sum/Proof using Exponential Formulation