Applying angle addition formulas