remove non-handling of numbers in trigsimp