Equation solving or Simplification of rational expressions