[origin] |h(1/2+i/2)| >= 0.25001356, sup|h'| on |z|<=sqrt2 <= 0.049341062, margin >= 0.215124 -> h != 0 on [0,1]^2: only zero of g there is the double zero 0
[disc] zh_1 = (6.94750624253306 + 1.88044065310063j): |g(zh)| <= 1.82e-61, |g'(zh)| >= 0.942216, radius 1/8 Rouche CERTIFIED, disc inside open B: True
[disc] zh_2 = (13.2766979586131 + 2.20570295931761j): |g(zh)| <= 1.39e-61, |g'(zh)| >= 0.971538, radius 1/8 Rouche CERTIFIED, disc inside open B: True
[disc] zh_3 = (19.5792539256891 + 2.4011905639397j): |g(zh)| <= 3.2e-61, |g'(zh)| >= 0.981361, radius 1/8 Rouche CERTIFIED, disc inside open B: True
[disc] zh_4 = (25.873373935358 + 2.54142047443527j): |g(zh)| <= 1.49e-60, |g'(zh)| >= 0.986207, radius 1/8 Rouche CERTIFIED, disc inside open B: True
[disc] zh_5 = (32.1636660852926 + 2.65084039786888j): |g(zh)| <= 9.28e-58, |g'(zh)| >= 0.989077, radius 1/8 Rouche CERTIFIED, disc inside open B: True
[disc] zh_6 = (38.4518758278218 + 2.74057697311726j): |g(zh)| <= 5.27e-55, |g'(zh)| >= 0.990968, radius 1/8 Rouche CERTIFIED, disc inside open B: True
[disc] zh_7 = (44.7388187894319 + 2.81664195435206j): |g(zh)| <= 2.74e-52, |g'(zh)| >= 0.992307, radius 1/8 Rouche CERTIFIED, disc inside open B: True
[disc] zh_8 = (51.0249300181958 + 2.88265459413881j): |g(zh)| <= 2.01e-49, |g'(zh)| >= 0.993303, radius 1/8 Rouche CERTIFIED, disc inside open B: True
[disc] zh_9 = (57.3104639054666 + 2.94096369653152j): |g(zh)| <= 1.14e-46, |g'(zh)| >= 0.994072, radius 1/8 Rouche CERTIFIED, disc inside open B: True
[disc] 9 pairwise disjoint certified discs in B
[exclusion] boxes excluded: 969, boxes inside inclusion discs: 38, subdivisions: 236, smallest excluded side: 2^-4
[exclusion] excluded boxes by depth: {0: 144, 1: 580, 2: 136, 3: 78, 4: 31}
RESULT: the zeros of J_0 - 1 in the closed rectangle [0,60] x [0,5] are z = 0 (double) and exactly 9 simple zeros, one in each certified disc of radius 1/8 (none on the boundary of B).
elapsed 11.2s
