Improve the symmetry tactic.

Apparently, there are some cases where [refine] doesn't work either.
I'm not really sure why, but using both makes it more likely to work, it
seems.  *shrugs*