cylindrical decomposition(((x - 2)^2 + y^2) - 9> 0, {x, y})