Product To Sum Formulas And Their Derivation