Solve for x 3-x = square root of x^2+15