This is great, but I wish there were a broader library that went beyond special functions.

For example, last year I was doing some statistical modelling and ended up with a complicated integral that yielded to analysis much more easily than I expected. I wanted to see if the resulting formula had a name or had been studied by anyone, but it's really hard to search for something like that. Anyone who did that analysis previously might have used different variable names or different conventions to represent the same underlying idea, factored it differently, etc.