Faster matches in trigsimp than those with matchers_division