simplifying expressions with negative indices