I saw this in one of the most famous answers on Mathoverflow [1]. The CAS expert (Jacques Carette) who wasted three days trying to locate the "problem" in the software chimes in in the comments.

[1] https://mathoverflow.net/questions/11517/computer-algebra-er...