PASS N1 phi=exp chi=cinf l=1: <T*U,W>-<U,T*W> = int x phi^2   [lhs=1.45479962300382e-04 rhs=1.45479962300382e-04 rel=3.7e-16]
PASS N1 phi=exp chi=cinf l=1: truncated Green identity at Z=3.0   [rel=0.0e+00]
PASS N1 phi=exp chi=cinf l=1: truncated Green identity at Z=7.0   [rel=3.6e-16]
PASS N1 phi=exp chi=cinf l=2: <T*U,W>-<U,T*W> = int x phi^2   [lhs=1.45479962300382e-04 rhs=1.45479962300382e-04 rel=1.9e-16]
PASS N1 phi=exp chi=cinf l=2: truncated Green identity at Z=3.0   [rel=1.2e-16]
PASS N1 phi=exp chi=cinf l=2: truncated Green identity at Z=7.0   [rel=3.4e-16]
PASS N1 phi=exp chi=cinf l=3: <T*U,W>-<U,T*W> = int x phi^2   [lhs=1.45479962300382e-04 rhs=1.45479962300382e-04 rel=1.9e-16]
PASS N1 phi=exp chi=cinf l=3: truncated Green identity at Z=3.0   [rel=0.0e+00]
PASS N1 phi=exp chi=cinf l=3: truncated Green identity at Z=7.0   [rel=1.5e-16]
PASS N1 phi=poly chi=smootherstep l=1: <T*U,W>-<U,T*W> = int x phi^2   [lhs=6.85588920883036e-06 rhs=6.85588920883038e-06 rel=3.6e-15]
PASS N1 phi=poly chi=smootherstep l=1: truncated Green identity at Z=3.0   [rel=3.0e-15]
PASS N1 phi=poly chi=smootherstep l=1: truncated Green identity at Z=7.0   [rel=3.5e-15]
PASS N1 phi=poly chi=smootherstep l=2: <T*U,W>-<U,T*W> = int x phi^2   [lhs=6.85588920883037e-06 rhs=6.85588920883038e-06 rel=1.4e-15]
PASS N1 phi=poly chi=smootherstep l=2: truncated Green identity at Z=3.0   [rel=1.4e-15]
PASS N1 phi=poly chi=smootherstep l=2: truncated Green identity at Z=7.0   [rel=1.7e-15]
PASS N1 phi=poly chi=smootherstep l=3: <T*U,W>-<U,T*W> = int x phi^2   [lhs=6.85588920883037e-06 rhs=6.85588920883038e-06 rel=1.5e-15]
PASS N1 phi=poly chi=smootherstep l=3: truncated Green identity at Z=3.0   [rel=8.2e-16]
PASS N1 phi=poly chi=smootherstep l=3: truncated Green identity at Z=7.0   [rel=2.0e-15]
PASS N1 l=1: tail integrals of |U|^2 and |z-part of Delta W|^2 are finite at x=1.5   [0.286, 3.809]
PASS N1 l=2: tail integrals of |U|^2 and |z-part of Delta W|^2 are finite at x=1.5   [0.2501, 25.36]
PASS N1 l=3: tail integrals of |U|^2 and |z-part of Delta W|^2 are finite at x=1.5   [0.2046, 197.7]
PASS N2 l=1: fibre Hardy constant >= 1 and -> 1 (S=10,20,40)   [1.088929, 1.023439, 1.006019; min delta^2 Veff = 0.7500]
PASS N2 l=2: fibre Hardy constant >= 1 and -> 1 (S=10,20,40)   [1.084147, 1.022721, 1.005923; min delta^2 Veff = 0.4167]
PASS N2 l=3: fibre Hardy constant >= 1 and -> 1 (S=10,20,40)   [1.083030, 1.022558, 1.005901; min delta^2 Veff = -0.5833]
PASS N2 l=4: fibre Hardy constant >= 1 and -> 1 (S=10,20,40)   [1.082596, 1.022495, 1.005892; min delta^2 Veff = -2.2500]
PASS N2 l=5: fibre Hardy constant >= 1 and -> 1 (S=10,20,40)   [1.082383, 1.022464, 1.005888; min delta^2 Veff = -4.5833]
PASS N2 l=6: fibre Hardy constant >= 1 and -> 1 (S=10,20,40)   [1.082261, 1.022447, 1.005886; min delta^2 Veff = -7.5833]
PASS N2 z=0 l=1: constant (l+1)^2 recovered (FEM sanity)   [4.00620 vs 4.00617]
PASS N2 z=0 l=2: constant (l+1)^2 recovered (FEM sanity)   [9.00634 vs 9.00617]
PASS N3 sigma=y^2 z0=2^-3: D>z0^-4/45, A<=21 z0^-3/c1, B<=12096 z0^3, N<=16 z0^2 D   [D z0^4=0.49765 A z0^3=4.7246 B/z0^3=33.9616 (A+B)/(D z0)=9.4940]
PASS N3 sigma=y^2 z0=2^-4: D>z0^-4/45, A<=21 z0^-3/c1, B<=12096 z0^3, N<=16 z0^2 D   [D z0^4=0.43389 A z0^3=4.8186 B/z0^3=23.0268 (A+B)/(D z0)=11.1055]
PASS N3 sigma=y^2 z0=2^-5: D>z0^-4/45, A<=21 z0^-3/c1, B<=12096 z0^3, N<=16 z0^2 D   [D z0^4=0.40026 A z0^3=4.8532 B/z0^3=20.2931 (A+B)/(D z0)=12.1250]
PASS N3 sigma=y^2 z0=2^-6: D>z0^-4/45, A<=21 z0^-3/c1, B<=12096 z0^3, N<=16 z0^2 D   [D z0^4=0.38300 A z0^3=4.8629 B/z0^3=19.6097 (A+B)/(D z0)=12.6970]
PASS N3 sigma=y^2 z0=2^-7: D>z0^-4/45, A<=21 z0^-3/c1, B<=12096 z0^3, N<=16 z0^2 D   [D z0^4=0.37425 A z0^3=4.8654 B/z0^3=19.4388 (A+B)/(D z0)=13.0006]
PASS N3 sigma=y^2 z0=2^-9: D>z0^-4/45, A<=21 z0^-3/c1, B<=12096 z0^3, N<=16 z0^2 D   [D z0^4=0.36763 A z0^3=4.8662 B/z0^3=19.3855 (A+B)/(D z0)=13.2368]
PASS N3 sigma=y^2 z0=2^-11: D>z0^-4/45, A<=21 z0^-3/c1, B<=12096 z0^3, N<=16 z0^2 D   [D z0^4=0.36597 A z0^3=4.8663 B/z0^3=19.3821 (A+B)/(D z0)=13.2970]
PASS N3 sigma=y^2: (A+B)/D -> 0 like const*z0   [9.494, 11.106, 12.125, 12.697, 13.001, 13.237, 13.297]
PASS N3 sigma=sin^2 z0=2^-3: D>z0^-4/45, A<=21 z0^-3/c1, B<=12096 z0^3, N<=16 z0^2 D   [D z0^4=0.49812 A z0^3=4.7434 B/z0^3=33.8358 (A+B)/(D z0)=9.5229]
PASS N3 sigma=sin^2 z0=2^-4: D>z0^-4/45, A<=21 z0^-3/c1, B<=12096 z0^3, N<=16 z0^2 D   [D z0^4=0.43396 A z0^3=4.8235 B/z0^3=22.9953 (A+B)/(D z0)=11.1151]
PASS N3 sigma=sin^2 z0=2^-5: D>z0^-4/45, A<=21 z0^-3/c1, B<=12096 z0^3, N<=16 z0^2 D   [D z0^4=0.40027 A z0^3=4.8544 B/z0^3=20.2852 (A+B)/(D z0)=12.1278]
PASS N3 sigma=sin^2 z0=2^-6: D>z0^-4/45, A<=21 z0^-3/c1, B<=12096 z0^3, N<=16 z0^2 D   [D z0^4=0.38300 A z0^3=4.8632 B/z0^3=19.6077 (A+B)/(D z0)=12.6978]
PASS N3 sigma=sin^2 z0=2^-7: D>z0^-4/45, A<=21 z0^-3/c1, B<=12096 z0^3, N<=16 z0^2 D   [D z0^4=0.37425 A z0^3=4.8655 B/z0^3=19.4384 (A+B)/(D z0)=13.0008]
PASS N3 sigma=sin^2 z0=2^-9: D>z0^-4/45, A<=21 z0^-3/c1, B<=12096 z0^3, N<=16 z0^2 D   [D z0^4=0.36763 A z0^3=4.8662 B/z0^3=19.3854 (A+B)/(D z0)=13.2368]
PASS N3 sigma=sin^2 z0=2^-11: D>z0^-4/45, A<=21 z0^-3/c1, B<=12096 z0^3, N<=16 z0^2 D   [D z0^4=0.36597 A z0^3=4.8663 B/z0^3=19.3821 (A+B)/(D z0)=13.2970]
PASS N3 sigma=sin^2: (A+B)/D -> 0 like const*z0   [9.523, 11.115, 12.128, 12.698, 13.001, 13.237, 13.297]
PASS N4: d_x f(0,z) = (1-cos2z)/2 = sin^2 z   [(Fraction(1, 2), Fraction(-1, 2), Fraction(0, 1))]
PASS N4: d_x^3 f(0,z) = 6 cos 2z   [(Fraction(0, 1), Fraction(6, 1), Fraction(0, 1))]
PASS N4: sin^2 z and 6cos2z never vanish together (grid on [0,pi], max > 0.4)

48/48 numerical checks passed
