I left this test as it was simply because the result is quite large (even after simplifying).  I have some concern that, given the result's complexity, its structure might change slightly in the future without changing the mathematical meaning, resulting in an irrelevant failure.  But since all the other tests appear to take that risk, I've added it in.