it's nice to have this there because then you can use a pattern to run all trigsimp tests