j=anf(j)=anf(x)dx+12f(a)+12f(n)+s=1m1B2s(2s)!(f(2s1)(n)f(2s1)(a))+anB2mB~2m(x)(2m)!f(2m)(x)dx.