Simplifying Expressions Using Index Laws