hyperexpand() - 3880

Fixes [issue 3880](http://code.google.com/p/sympy/issues/detail?id=3880) and limits the number of formulas that need to be instantiated.