1 calls to
REMOVE_DOUBLE
REAL_ROOTS