trigsimp methods work on non-Expr