What order Taylor model is sufficient for subdivision based implicit curve plotting

In this paper, we conducted some well chosen experimental tests to determine what order is sufficient for Taylor model applied in subdivision based implicit curve plotting algorithm. Test results show that order 1 is sufficient for most test examples with simple expressions, and some more complicated test examples need order 2 or 3. Order 3 is sufficient for all test examples we tested.