นี่เป็นข้อได้เปรียบเหนือการเปรียบเทียบ Formula Syntax ซึ่ง Expression ต่างรูปอาจหมายถึง Function เดียวกั
การกำหนดVariable Orderและใช้Unique Tableร่วมกับReductionทำให้Boolean boom369เข้าสู่ระบบ Functionจำนวนมหาศาลยุบเป็นShared DAGได้เมื่อStructureเหมาะ พร้อมให้Pointer Equalityใช้ตรวจFunction Equalityได้โดยตร
การเก็บMinimum Valueพร้อมBreakpointในHeapทำให้Functionที่ดูต้องเก็บค่าทุกxถูกRepresentด้วยEventที่Slopeเปลี่ยนเท่านั้น จึงลดDPต่อเนื่อง/Domainใหญ่ให้เหลือOperation O(log n)ต่อStepในหลายProbl
ถPointอยู่ภายในConvex Hullของจุดอื่น มันไม่สามารถบังคับCircleให้ใหญ่กว่าที่ครอบHull Vertexได
ถpoint iอยู่นอกCircle ให้Circle=point i แล้วLoop j