Last year there was an advanced search website for stack exchange mathematics (maybe for other sites, I don't know) where you could input part of a formula, and it would list all stack exchange answers/questions with that formula. It was very useful and seems to have disappeared. Is it gone forev...

Do you mean Approach0? If that's so, it is not gone.