Ai(-x)=x1/2π-1cos(x3/2(13t3+t2-23))t,