I was excited to see this, since I'm looking for a symbolic algebra library.

But then I saw the absolutely awful license. A license like that at a time like this is no small miscalculation.