On Fri, May 30, 2014 at 07:14:29AM -0700, Mark Shoulson wrote:
>    Because it doesn't work.
>    (sqrt(3) + 2)/7 simplifies immediately to
>    sqrt(3)/2 + 7/2, whereas the function returns (sqrt(3) + 2)/7.

Then change the return value.  Using sympify is not acceptable here.