DEPRECATED Understanding angle addition formulas