Yea but simplifications like this are probably non-computable, even when possible, and hard to do in any case.

Wrong, that isn't what this is. This isn't a nested radical to infinite terms, it's a nested radical to n terms. Thus, it cannot be simplified.