A0 = 2000: eps_Q = gamma/A0 = 6.8504386e-5; c4 = 0.2, r_q = 0.13605, c4 r_q^4 = 6.8521077e-5
vertex lemma (sigma <= 0.001): ln2/(4ln(1/s)) = 0.025085833, e = 0.025094890, K L = 0.038372009  =>  Q >= 0.011869644
inner disk r <= 0.003: q4 = 0.348057255679 (along E2: 0.348057255679), coefficients of order <= 3 along E2: ['[+/- 4.34e-38]', '[+/- 1.12e-37]', '[+/- 5.50e-37]', '[+/- 1.71e-36]']
   M5 = 9.3739547,  q4 - r0 M5 = 0.31993539  >= c4 : True
  ... 2000 boxes, stack 330, 0s
  ... 12000 boxes, stack 285, 0s
  ... 16000 boxes, stack 8, 1s
quadtree: {'boxes': 16219, 'naive': 9134, 'taylor': 2818, 'skipped_outside': 1122, 'skipped_inner': 15, 'skipped_vertex': 34, 'min_margin_quartic': '1.2165343e-12', 'min_margin_eps': '1.8506429e-6', 'maxdepth': 11, 'time': 1.1592459678649902}
failures: 0
