limit (cos(x)*Ci(x)-Ci(2x)+(x*Ci(x)-sin(x))*Si(x)) as x=inf