I tested cases of floor(x), and in each case there are many solutions with complicated fractions that are hard to square and verify that it satisfies the equation quickly. Is there a way of testing each of the 49 solutions without actually plugging in each and every one of them into the equation?