Simplifying expressions using fundamental identities