Power-reducing identities