Our algorithm takes as input an analytical SDF represented as a tree of smooth booleans and a 3D region of space, and computes a much smaller pruned tree equivalent within the region. This procedure is simple and efficient, using the Lipschitz prop. of the SDFs instead of costly interval arithmetic