The origin of chaos in the Solar System through computer algebra