integral(sin(x)*sin(-x + t), x, 0, 2*pi)