> This also re-opens a lot of "party pooper" results in mathematics: impossibility of representing solutions to general quintic (fine print: if we restrict ourselves to arithmetic and roots/radicals).

Solving the quintic in terms of transcendental functions has already been done

https://en.wikipedia.org/wiki/Bring_radical#The_Hermite%E2%8...