Deriving Double Angle Identities