Simplify displayed solutions by disallowing negative subexpressions