Eq4 didn't change with simplify( ): imprecise language

Change explanation to make it clear that we were just printing out the
effect of simplify and expand on eq4. Incorrect to say "we can use this
result to solve" because eq4 didn't change.