Well, one thing to recognize is that your expression check3 has ten million leafs.... it is a phenomenally large and complex expression.
In[29]:= LeafCount[check3]
Out[29]= 9739075
Perhaps the best approach is to take the steps in Mathematica that you took "by hand" and verify your expressions along the way.
