Heh, I knew someone would come up with the Grothendieck prime example. That's why I said, "the computations don't have to be purely numerical: even a diagram chase in abstract nonsense is a valuable exercise." I think Grothendieck certainly was a master of these and performed them regularly.