j=anf(j)=anf(x)x+12f(a)+12f(n)+s=1m-1B2s(2s)!(f(2s-1)(n)-f(2s-1)(a))+anB2m-B~2m(x)(2m)!f(2m)(x)x.