Sine of Sum/Proof using Exponential Formulation