A surprisingly hard CS problem: sums of square roots (2018)
It probably has been tried already by someone, but how about this: all square roots can be written as repeating continued fractions [1]. With a bit of work, continued fractions can also be summed [2] and compared. Wouldn't this take less than exponential time?[1] http://benpaulthurstonblog.blogspot.com/2012/05/estimating-s...[2] https://www.jstor.org/stable/1969389