Difference quotient and simplification of expressions