x^2 + (x^2 + 2x + 8)^0.5 = 12x - 8