pattern search results for simplifnotexpr