mod handles more simplification
fix unrad code in solve
equals tries to prove an nsimplify result