the full equation for general relativity would take many pages to print, but Einstein notation makes it much shorter looking. This was not the case here.
Probably looks a lot simpler in A-normal form, with intermediates factored out.
> You’d think the solution would be simpler.
Why would I think that?
It is. Some parts are repeated, the one which caught my eye was (zₐ’(rₐ)²+1)
I mean, if it was simpler it wouldn't have taken 2000 years.
I don't see the correlation here. Is every equation henceforth discovered guaranteed to be more complex than any before it? I hope not.