(I1) (s+2)^2(s+1)^3 - s(3+3s+s^2)^2 coefficients (s^0..): [4, 7, 7, 4, 1]
(I1) max of 4t(6+6s+2s^2)/(1+s)^3 / ((s+2)/(s+1)^1.5) over t in [1e-6,1e6]: 7.999999999996 (< 8)
delta=0.001: (I2) rel.err 1.1e-15; (I3) rel.err 1.7e-15; max 4|f_zz| / (8 Lap h) = 0.999999
delta=0.37: (I2) rel.err 6.6e-16; (I3) rel.err 3.4e-16; max 4|f_zz| / (8 Lap h) = 0.949285
(I4) spiral: max |Jacobian - 1| = 7.77e-16 ; max |r a'(r)| = 0.2000 (<= 2 eps = 0.20)
(I5) k=1: d_z^(k+1)[z^(k+1) log(|z|^2+d^2)](0) = -27.6310211159, (k+1)! log d^2 = -27.6310211159
(I5) k=2: d_z^(k+1)[z^(k+1) log(|z|^2+d^2)](0) = -82.8930633478, (k+1)! log d^2 = -82.8930633478
(I5) k=3: d_z^(k+1)[z^(k+1) log(|z|^2+d^2)](0) = -331.5722533911, (k+1)! log d^2 = -331.5722533911
(I5) k=4: d_z^(k+1)[z^(k+1) log(|z|^2+d^2)](0) = -1657.8612669557, (k+1)! log d^2 = -1657.8612669557
ALL INEQUALITY CHECKS PASSED
