J(n,x):=INT(COS(x*SIN(t)-n*t)/pi,t,0,pi) J(0,x) J(1,x)