Simplifying rational expressions and stating restrictions