eliminated use of `factor` in `trigsimp`