It's actually a great service though.
2,533 karma · joined May 5, 2014
For example for a problem I had recently Claude pointed out (after some prodding for me) that the determinant of the Jacobian of a function I'm interested in is a polynomial in polar coordinates, so I used a fancy root finding library (which I also didn't write) to solve it efficiently.
The problem is we don't have enough storage to use it after dark.