Look for approximate roots

[dpsanders]

Use the standard (non-interval) Newton method to look for approximate roots, then use epsilon inflation to prove the existence of a root and remove boxes there.