Not sure, but I've had computer generated symbolic differentiations that the sw was absolutely not able to boil down to the compactness of the result I was able

Not sure, but I've had computer generated symbolic differentiations that the sw was absolutely not able to boil down to the compactness of the result I was able to come up with manually. It was really only useful as a test to verify my own result.