integral cos(t-x)sin(x)dx