Faster matches in trigsimp than those with matchers_division.
Added tests which previously failed.