`CSYMPY_ASSERT` error is definitely a bug, it's pretty much a catch for bugs. It means that something didn't get simplified as it should have.