Simplifying polynomials Suppose I have a (multivariate) polynomial with coefficients in $\mathbb Z$ or $\mathbb Q$, given in fully expanded form. How can I simplify this to reduce the number of elementary operations (addition, subtraction, multiplication) used in its representation (and therefore evaluation once you substitute values for the indeterminates)? I'm not interested in the case where the polynomial as a whole factorizes, but instead I'm searching for a clever way to factorize parts of it.
Example: how could you turn
$$x^{2} y -  x y^{2} - 2 y^{3} + x^{2} -  x y - 2 y^{2} -  x + 2 y + 1$$
into
$$((x+y)(1+y)-1)(x-2y)+1$$
or something comparably simple? The first form has 20 elementary operations, 12 multiplications, 3 additions and 5 subtractions. The second form has 3 multiplications, 3 additions and 2 subtractions, for a total of 8 operations. I'm not sure this is optimal, but it certainly is a lot better than the fully expanded form. Factorizing the whole polynomial won't help, since it is irreducible over $\mathbb Q$.
A perfect solution would find a representation with guaranteed minimal number of operations in polynomial time. But I'm not sure if this is even possible, so I'm also interested in solutions which don't guarantee minimality, or don't guarantee polynomial runtime, as long as they work reasonably well for practical use cases.
 A: Given a multivariate polynomial, a good place to start would be to factor out $x$ from all the terms with $x$, then factor $y$ out of all the terms that are left with $y$, and so on.  Given a random multivariate polynomial of degree $n$ in $m$ variables, on average $O(n^m)$ terms will have an $x$, meaning just factoring out an $x$ will reduce the number of multiplications by $O(n^m)$.  Similarly, factoring out a $y$ from what is left will reduce the number of multiplications by $O(n^{m-1})$, and so on.  The resulting polynomial from these steps will have the form, $x*P(x,y,z,...)+y*Q(x,y,z,...)+...+k$.  This consists of $m$ multiplications and $m$ additions ($m-1$ if there is no constant term), plus the operations needed for the polynomials, $P(x,y,z,...)$, $Q(x,y,z,...),$ and so on.  These polynomials are of degree $n-1$ (since at least one variable has been factored out of every term) and if the same operation is applied to them, will yield another reduction in the number of operations by $O(m*(n-1)^m)$.  Continuing this recursively yields a polynomial with about $O(n^m)$ multiplications and $O(n^m)$ additions, as opposed to the $O(n^{m+1})$ multiplications and $O(n^m)$ additions of the original polynomial.
This idea is adapted from the Horner's Method for single variable polynomials.  
